MAYBE 2.2 and x y and y x or x or y z or or x y z and x and y z and and x y z neq x y neq y x or x y or y x eq x y eq y x and x y and y x neq x y neq y x and x and y z and and x y z and x and y z and x y or x y or y x eq x y eq y x or x or y z or or x y z or x or y z or x y not and x y not x or and x y z or x z not and x y not y or and x y z or y z not and x y or not x not y not or x y not x not or x y and not x not y not eq x y neq x y or and x y z and or x z or y z not neq x y eq x y not or x y not y or or x false _1 or x _1 or or x x _1 or x _1 or or x true _1 or true _1 and and x x _1 and x _1 or or and x y z _1 or and or x z or y z _1 and and x or x y _1 and x _1 and and x false _1 and false _1 and and x true _1 and x _1 not or x y not y not or x y not x not and x y not x not and x y not y true 1 neq 2 0 and 2 1 2 1 eq 2 0 false 0 0 true 0 0 eq 2 0 not 1 1 0 neq 2 0 or 2 1 2 1 or 2 0 and 2 0 not 1 0 not and x y not y not and x y not x not or x y not x not or x y not y not eq x y neq x y false neq x y neq y x true not and x y or not x not y false or x or y z or x y or x y or y x or x or y z or or x y z or and x y z or x z or and x y z or y z true Failed! NaTT 1.7