1
#2 := false
2
#1 := true
3
#4 := (not true)
4
#21 := (iff #4 false)
5
#22 := [rewrite]: #21
6
#20 := [asserted]: #4
7
[mp #20 #22]: false
8
unsat