MAYBE 2.2 _or_ x _or_ y z _or_ _or_ x y z _or_ x y _or_ y x _xor_ x _xor_ y z _xor_ _xor_ x y z _and_ x y _and_ y x _xor_ x y _xor_ y x _and_ x _and_ y z _and_ _and_ x y z _or_ x _or_ y z _or_ x y _and_ x _and_ y z _and_ x y _or_ x y _or_ y x _or_ x _or_ y z _or_ _or_ x y z _xor_ x y _xor_ y x _and_ x y _and_ y x _xor_ x _xor_ y z _xor_ x y _and_ x _and_ y z _and_ _and_ x y z _xor_ x _xor_ y z _xor_ _xor_ x y z not_ A isBool A U131 tt B U' equal _isNotEqualTo_ B true true _isEqualTo_ U U' U61 and isS U' isS U U' U _isNotEqualTo_ U U' U81 and isS U' isS U U' U isBool _and_ V1 V2 and isBool V1 isBool V2 _xor_ A A isBool A U131 tt B U' U132 equal _isNotEqualTo_ B true true U' if_then_else_fi true U U' and isS U' isS U _and_ false A U31 isBool A U101 tt A B _xor_ _and_ A B _xor_ A B _implies_ A B U51 and isBool A isBool B A B _or_ A B isBool A U81 tt U' U if_then_else_fi _isEqualTo_ U U' false true _implies_ A B and isBool A isBool B U101 tt A B _xor_ A B U101 tt A B _and_ A B if_then_else_fi B U U' and isS U' isS U _and_ A _xor_ B C isBool A _and_ false A isBool A _and_ A _xor_ B C U21 and isBool A and isBool B isBool C A B C if_then_else_fi B U U' U131 and isBool B and isS U' isS U B U' isBool _and_ V1 V2 isBool V1 if_then_else_fi true U U' U141 and isS U' isS U U _or_ A B U101 and isBool A isBool B A B isBool _implies_ V1 V2 isBool V2 isBool _xor_ V1 V2 isBool V1 isBool _implies_ V1 V2 and isBool V1 isBool V2 if_then_else_fi B U U' isBool B U151 tt A _xor_ A true U61 tt U' U _isNotEqualTo_ U U' _and_ true A isBool A U61 tt U' U equal _isNotEqualTo_ U U' true _xor_ A A U111 isBool A _and_ true A U41 isBool A A isBool _implies_ V1 V2 isBool V1 U51 tt A B not_ _xor_ A _and_ A B _and_ A A U11 isBool A A if_then_else_fi B U U' and isBool B and isS U' isS U _and_ A _xor_ B C and isBool B isBool C _isEqualTo_ U U' and isS U' isS U _or_ A B and isBool A isBool B _implies_ A B isBool A U21 tt A B C _xor_ _and_ A B _and_ A C isBool _or_ V1 V2 isBool V2 isBool not_ V1 isBool V1 isBool _isNotEqualTo_ V1 V2 and isUniversal V1 isUniversal V2 isBool _xor_ V1 V2 isBool V2 _and_ A _xor_ B C isBool C U51 tt A B _and_ A B U81 tt U' U _isEqualTo_ U U' U131 tt B U' _isNotEqualTo_ B true _isNotEqualTo_ U U U91 isS U _isEqualTo_ U U U71 isS U U61 tt U' U U62 equal _isNotEqualTo_ U U' true U21 tt A B C _and_ A C _and_ A _xor_ B C and isBool A and isBool B isBool C isBool _isEqualTo_ V1 V2 and isUniversal V1 isUniversal V2 U51 tt A B _xor_ A _and_ A B isBool _or_ V1 V2 isBool V1 _and_ A _xor_ B C isBool B U21 tt A B C _and_ A B isBool _and_ V1 V2 isBool V2 _isNotEqualTo_ U U' and isS U' isS U _xor_ false A U121 isBool A A not_ A U151 isBool A A _or_ A B isBool B isBool _xor_ V1 V2 and isBool V1 isBool V2 _xor_ false A isBool A _and_ A A isBool A _implies_ A B isBool B isBool _or_ V1 V2 and isBool V1 isBool V2 _xor_ _xor_ false A _1 _xor_ U121 isBool A A _1 _and_ _and_ false A _1 _and_ U31 isBool A _1 _xor_ _xor_ A A _1 _xor_ U111 isBool A _1 _or_ _or_ A B _1 _or_ U101 and isBool A isBool B A B _1 _and_ _and_ A _xor_ B C _1 _and_ U21 and isBool A and isBool B isBool C A B C _1 _and_ _and_ true A _1 _and_ U41 isBool A A _1 _and_ _and_ A A _1 _and_ U11 isBool A A _1 _implies_ A B isBool B false _implies_ A B isBool A false U61 tt U' U equal _isNotEqualTo_ U U' true false U61 tt U' U _isNotEqualTo_ U U' false if_then_else_fi true U U' U141 and isS U' isS U U false _implies_ A B and isBool A isBool B false U81 tt U' U if_then_else_fi _isEqualTo_ U U' false true false if_then_else_fi B U U' U131 and isBool B and isS U' isS U B U' false if_then_else_fi B U U' and isBool B and isS U' isS U false if_then_else_fi B U U' isBool B false if_then_else_fi B U U' and isS U' isS U false U61 tt U' U U62 equal _isNotEqualTo_ U U' true false _implies_ A B U51 and isBool A isBool B A B false U51 tt A B not_ _xor_ A _and_ A B false not_ A U151 isBool A A false U151 tt A _xor_ A true false U51 tt A B _xor_ A _and_ A B false U131 tt B U' _isNotEqualTo_ B true false _isNotEqualTo_ U U' and isS U' isS U false _isNotEqualTo_ U U U91 isS U false _or_ x y _or_ y x _or_ x _or_ y z _or_ x y _or_ x _or_ y z _or_ _or_ x y z true _or_ A B U101 and isBool A isBool B A B false U101 tt A B _xor_ _and_ A B _xor_ A B false U101 tt A B _and_ A B false U101 tt A B _xor_ A B false _or_ A B and isBool A isBool B false _or_ A B isBool A false _or_ A B isBool B false U81 tt U' U _isEqualTo_ U U' false _isEqualTo_ U U U71 isS U false _isEqualTo_ U U' and isS U' isS U false U51 tt A B _and_ A B false _and_ x _and_ y z _and_ x y _and_ x _and_ y z _and_ _and_ x y z _and_ x y _and_ y x U21 tt A B C _and_ A B _and_ A _xor_ B C U21 and isBool A and isBool B isBool C A B C U21 tt A B C _and_ A C true Failed! NaTT 1.7