1. 1
2. 2
3. 3

!(defq not_not_not_a_imp_not_a_protocol_loaded !(load-expr "demo_protocol"))
!(inspect "5b8ee3adb60cbfc0ab9404a29656d5fd06a8364e62008491cd31e93902f567")
!(verify-protocol not_not_not_a_imp_not_a_protocol_loaded "demo_proof")