1 array 1 1
2 var 1
3 var 1
4 and 1 2 3
5 eq 1 2 3
6 or 1 2 3
7 read 1 1 4
8 read 1 1 6
9 eq 1 7 8
10 implies 1 5 9
11 root 1 -10