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