MAYBE 2.2 _or_ x _or_ y z _or_ _or_ 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 _xor_ x _xor_ y z _xor_ _xor_ x y z _or_ x y _or_ y x _or_ x _or_ y z _or_ x y _and_ x y _and_ y x _or_ x y _or_ y x _and_ x _and_ y z _and_ _and_ x y z _and_ x _and_ y z _and_ x y _or_ x _or_ y z _or_ _or_ x y z _xor_ x _xor_ y z _xor_ x y _xor_ x _xor_ y z _xor_ _xor_ x y z _xor_ x y _xor_ y x U102 tt A B isBool B _and_ false A U31 isBool A A U175 tt V2 isBool V2 U54 tt A B _and_ A B U164 tt V1 V2 U165 isBool V1 V2 isBool _xor_ V1 V2 U181 isBoolKind V1 V1 V2 isBool not_ V1 U191 isBoolKind V1 V1 U175 tt V2 U176 isBool V2 U11 tt A U12 isBoolKind A A if_then_else_fi B U U' U131 isBool B B U' U U211 tt V2 isBoolKind V2 isBoolKind _and_ V1 V2 isBoolKind V1 U61 tt U' U U62 isSKind U' U' U not_ A isBool A U154 tt V1 V2 isBool V1 U64 tt U' U _isNotEqualTo_ U U' U201 tt V2 isBoolKind V2 U25 tt A B C isBoolKind C U152 tt V1 V2 U153 isBoolKind V2 V1 V2 isBool not_ V1 isBoolKind V1 _and_ true A isBool A isBool _and_ V1 V2 U151 isBoolKind V1 V1 V2 U51 tt A B U52 isBoolKind A A B U155 tt V2 U156 isBool V2 U165 tt V2 isBool V2 U221 tt V2 U222 isBoolKind V2 U161 tt V1 V2 isBoolKind V1 U53 tt A B isBoolKind B U152 tt V1 V2 isBoolKind V2 U104 tt A B _xor_ _and_ A B _xor_ A B U121 tt A isBoolKind A U165 tt V2 U166 isBool V2 not_ A U251 isBool A A U136 tt B U' _isNotEqualTo_ B true _xor_ false A U121 isBool A A U231 tt V2 U232 isBoolKind V2 U91 tt U U92 isSKind U U173 tt V1 V2 U174 isBoolKind V2 V1 V2 U11 tt A isBoolKind A U173 tt V1 V2 isBoolKind V2 U162 tt V1 V2 isBoolKind V2 U101 tt A B isBoolKind A U131 tt B U' U U132 isBoolKind B B U' U U252 tt A _xor_ A true _and_ A A U11 isBool A A U21 tt A B C isBoolKind A isBool _xor_ V1 V2 isBoolKind V1 isBoolKind _and_ V1 V2 U201 isBoolKind V1 V2 U25 tt A B C U26 isBoolKind C A B C isBool _implies_ V1 V2 isBoolKind V1 isBoolKind not_ V1 U241 isBoolKind V1 U181 tt V1 V2 isBoolKind V1 U191 tt V1 isBoolKind V1 U83 tt U' U U84 isSKind U U' U U31 tt A isBoolKind A U154 tt V1 V2 U155 isBool V1 V2 U136 tt B U' U137 equal _isNotEqualTo_ B true true U' U121 tt A U122 isBoolKind A A U81 tt U' U U82 isSKind U' U' U U22 tt A B C U23 isBool B A B C _isEqualTo_ U U U71 isS U U U211 tt V2 U212 isBoolKind V2 _xor_ A A isBool A U24 tt A B C U25 isBool C A B C U153 tt V1 V2 isBoolKind V2 _xor_ A A U111 isBool A A U171 tt V1 V2 U172 isBoolKind V1 V1 V2 if_then_else_fi true U U' U141 isS U' U' U U185 tt V2 isBool V2 isBoolKind _xor_ V1 V2 isBoolKind V1 U111 tt A isBoolKind A U201 tt V2 U202 isBoolKind V2 U153 tt V1 V2 U154 isBoolKind V2 V1 V2 isBool _or_ V1 V2 isBoolKind V1 U191 tt V1 U192 isBoolKind V1 V1 U192 tt V1 isBool V1 U101 tt A B U102 isBoolKind A A B _or_ A B U101 isBool A A B U133 tt B U' U U134 isSKind U' B U' U U134 tt B U' U U135 isS U B U' U _and_ A A isBool A U132 tt B U' U U133 isS U' B U' U U53 tt A B U54 isBoolKind B A B U183 tt V1 V2 U184 isBoolKind V2 V1 V2 _isEqualTo_ U U' U61 isS U' U' U _xor_ false A isBool A U192 tt V1 U193 isBool V1 _and_ true A U41 isBool A A U221 tt V2 isBoolKind V2 _implies_ A B U51 isBool A A B U84 tt U' U if_then_else_fi _isEqualTo_ U U' false true isBoolKind not_ V1 isBoolKind V1 U171 tt V1 V2 isBoolKind V1 U174 tt V1 V2 isBool V1 isBool _and_ V1 V2 isBoolKind V1 U82 tt U' U U83 isS U U' U U172 tt V1 V2 U173 isBoolKind V2 V1 V2 U231 tt V2 isBoolKind V2 U41 tt A isBoolKind A isBoolKind _or_ V1 V2 U221 isBoolKind V1 V2 U31 tt A U32 isBoolKind A U163 tt V1 V2 U164 isBoolKind V2 V1 V2 U141 tt U' U U142 isSKind U' U U26 tt A B C _xor_ _and_ A B _and_ A C U163 tt V1 V2 isBoolKind V2 U23 tt A B C isBoolKind B U52 tt A B isBool B U51 tt A B isBoolKind A U64 tt U' U equal _isNotEqualTo_ U U' true U26 tt A B C _and_ A B U162 tt V1 V2 U163 isBoolKind V2 V1 V2 U111 tt A U112 isBoolKind A U63 tt U' U U64 isSKind U U' U U155 tt V2 isBool V2 U54 tt A B _xor_ A _and_ A B isBoolKind _implies_ V1 V2 isBoolKind V1 U135 tt B U' U U136 isSKind U B U' U104 tt A B _and_ A B U164 tt V1 V2 isBool V1 _and_ false A isBool A U136 tt B U' equal _isNotEqualTo_ B true true U54 tt A B not_ _xor_ A _and_ A B isBoolKind _or_ V1 V2 isBoolKind V1 U251 tt A isBoolKind A U64 tt U' U U65 equal _isNotEqualTo_ U U' true if_then_else_fi B U U' isBool B U131 tt B U' U isBoolKind B U185 tt V2 U186 isBool V2 U104 tt A B _xor_ A B U182 tt V1 V2 U183 isBoolKind V2 V1 V2 U52 tt A B U53 isBool B A B U174 tt V1 V2 U175 isBool V1 V2 U251 tt A U252 isBoolKind A A U151 tt V1 V2 isBoolKind V1 U23 tt A B C U24 isBoolKind B A B C U24 tt A B C isBool C _and_ A _xor_ B C isBool A _implies_ A B isBool A isBool _or_ V1 V2 U171 isBoolKind V1 V1 V2 U71 tt U U72 isSKind U U161 tt V1 V2 U162 isBoolKind V1 V1 V2 _isNotEqualTo_ U U' U81 isS U' U' U U84 tt U' U _isEqualTo_ U U' U62 tt U' U U63 isS U U' U isBoolKind _implies_ V1 V2 U211 isBoolKind V1 V2 _isNotEqualTo_ U U U91 isS U U U184 tt V1 V2 U185 isBool V1 V2 U103 tt A B U104 isBoolKind B A B isBoolKind _xor_ V1 V2 U231 isBoolKind V1 V2 U102 tt A B U103 isBool B A B U142 tt U U143 isS U U U151 tt V1 V2 U152 isBoolKind V1 V1 V2 U21 tt A B C U22 isBoolKind A A B C U103 tt A B isBoolKind B U172 tt V1 V2 isBoolKind V2 U41 tt A U42 isBoolKind A A U22 tt A B C isBool B U26 tt A B C _and_ A C U183 tt V1 V2 isBoolKind V2 isBool _implies_ V1 V2 U161 isBoolKind V1 V1 V2 U143 tt U U144 isSKind U U U184 tt V1 V2 isBool V1 _and_ A _xor_ B C U21 isBool A A B C _or_ A B isBool A U181 tt V1 V2 U182 isBoolKind V1 V1 V2 U182 tt V1 V2 isBoolKind V2 _xor_ _xor_ A A _1 _xor_ U111 isBool A A _1 _and_ _and_ true A _1 _and_ U41 isBool A A _1 _xor_ _xor_ false A _1 _xor_ U121 isBool A A _1 _or_ _or_ A B _1 _or_ U101 isBool A A B _1 _and_ _and_ false A _1 _and_ U31 isBool A A _1 _and_ _and_ A _xor_ B C _1 _and_ U21 isBool A A B C _1 _and_ _and_ A A _1 _and_ U11 isBool A A _1 U84 tt U' U if_then_else_fi _isEqualTo_ U U' false true false _implies_ A B U51 isBool A A B false U143 tt U U144 isSKind U U false U134 tt B U' U U135 isS U B U' U false U133 tt B U' U U134 isSKind U' B U' U false U142 tt U U143 isS U U false if_then_else_fi true U U' U141 isS U' U' U false U81 tt U' U U82 isSKind U' U' U false U62 tt U' U U63 isS U U' U false U84 tt U' U _isEqualTo_ U U' false _isEqualTo_ U U' U61 isS U' U' U false _isEqualTo_ U U U71 isS U U false U136 tt B U' U137 equal _isNotEqualTo_ B true true U' false U71 tt U U72 isSKind U false _implies_ A B isBool A false U83 tt U' U U84 isSKind U U' U false if_then_else_fi B U U' isBool B false U64 tt U' U U65 equal _isNotEqualTo_ U U' true false U91 tt U U92 isSKind U false U136 tt B U' equal _isNotEqualTo_ B true true false U136 tt B U' _isNotEqualTo_ B true false U135 tt B U' U U136 isSKind U B U' false U51 tt A B U52 isBoolKind A A B false U52 tt A B U53 isBool B A B false U53 tt A B U54 isBoolKind B A B false U54 tt A B not_ _xor_ A _and_ A B false not_ A U251 isBool A A false U251 tt A U252 isBoolKind A A false U252 tt A _xor_ A true false U251 tt A isBoolKind A false U53 tt A B isBoolKind B false U54 tt A B _xor_ A _and_ A B false U63 tt U' U U64 isSKind U U' U false U64 tt U' U _isNotEqualTo_ U U' false _isNotEqualTo_ U U U91 isS U U false _isNotEqualTo_ U U' U81 isS U' U' U false U64 tt U' U equal _isNotEqualTo_ U U' true false not_ A isBool A false U51 tt A B isBoolKind A false U61 tt U' U U62 isSKind U' U' U false U52 tt A B isBool B false U141 tt U' U U142 isSKind U' U false if_then_else_fi B U U' U131 isBool B B U' U false U131 tt B U' U U132 isBoolKind B B U' U false U132 tt B U' U U133 isS U' B U' U false U131 tt B U' U isBoolKind B false U82 tt U' U U83 isS U U' U false _or_ x y _or_ y x _or_ x _or_ y z _or_ _or_ x y z _or_ x _or_ y z _or_ x y true _or_ A B U101 isBool A A B false U101 tt A B U102 isBoolKind A A B false U102 tt A B U103 isBool B A B false U103 tt A B U104 isBoolKind B A B false U104 tt A B _xor_ _and_ A B _xor_ A B false U104 tt A B _and_ A B false U104 tt A B _xor_ A B false U103 tt A B isBoolKind B false U101 tt A B isBoolKind A false _or_ A B isBool A false U54 tt A B _and_ A B false _and_ A _xor_ B C U21 isBool A A B C U26 tt A B C _and_ A C U21 tt A B C U22 isBoolKind A A B C U24 tt A B C U25 isBool C A B C U22 tt A B C U23 isBool B A B C U23 tt A B C U24 isBoolKind B A B C U25 tt A B C U26 isBoolKind C A B C _and_ x y _and_ y x _and_ x _and_ y z _and_ x y U26 tt A B C _and_ A B _and_ x _and_ y z _and_ _and_ x y z true Failed! NaTT 1.7