1 var 1 a
2 var 1 b
3 var 1 c

4 cond 1 1 2 3

5 implies 1 1 2 
6 implies 1 -1 3
7 and 1 5 6

8 eq 1 4 7 
9 root 1 -8