Imp (Pre ''A'' []) (Pre ''A'' [])
Imp (Falsity) (Falsity)
Imp (Falsity) (Pre ''A'' [])
Imp (Imp (Pre ''A'' []) (Pre ''B'' [])) (Imp (Pre ''A'' []) (Pre ''B'' []))
Imp (Pre ''A'' []) (Imp (Imp (Pre ''A'' []) (Pre ''B'' [])) (Pre ''B'' []))
Imp (Con (Pre ''A'' []) (Imp (Pre ''A'' []) (Pre ''B'' []))) (Pre ''B'' [])
Imp (Con (Pre ''A'' [Fun ''c'' []]) (Imp (Pre ''A'' [Fun ''c'' []]) (Uni (Pre ''A'' [Var 0])))) (Uni (Pre ''A'' [Var 0]))
Imp (Uni (Pre ''A'' [Var 0])) (Pre ''A'' [Fun ''c'' []])
Imp (Pre ''A'' [Fun ''c'' []]) (Exi (Pre ''A'' [Var 0]))
Imp (Pre ''A'' []) (Imp (Pre ''B'' []) (Pre ''A'' []))
Imp (Imp (Pre ''A'' []) (Imp (Pre ''B'' []) (Pre ''C'' []))) (Imp (Imp (Pre ''A'' []) (Pre ''B'' [])) (Imp (Pre ''A'' []) (Pre ''C'' [])))
Imp (Pre ''A'' []) (Imp (Imp (Pre ''A'' []) (Falsity)) (Falsity))
Imp (Imp (Imp (Pre ''A'' []) (Falsity)) (Falsity)) (Pre ''A'' [])
Imp (Con (Pre ''A'' []) (Pre ''B'' [])) (Imp (Pre ''C'' []) (Con (Pre ''A'' []) (Pre ''C'' [])))
Imp (Dis (Imp (Pre ''A'' []) (Falsity)) (Imp (Pre ''B'' []) (Falsity))) (Imp (Con (Pre ''A'' []) (Pre ''B'' [])) (Falsity))
Imp (Uni (Uni (Pre ''A'' [Var 1, Var 0]))) (Uni (Pre ''A'' [Var 0, Var 0]))
Imp (Uni (Pre ''A'' [Var 0])) (Exi (Pre ''A'' [Var 0]))
Exi (Imp (Pre ''A'' [Var 0]) (Uni (Pre ''A'' [Var 0])))
...
[
]
□
\left[\;\right] \;\;\; \htmlData{hole=1768955796178}{\square}
[
]
□
1 / 1