Anne is big. Anne is blue. Anne is cold. Anne is nice. Anne is round. Anne is smart. Anne is white. Blue, nice things are white. Big things are cold. Big, cold things are nice. If Anne is smart and Anne is big then Anne is nice. If something is cold and big then it is blue. If Anne is nice and Anne is cold then Anne is smart. All white things are big. If something is cold then it is smart.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Blue, nice things are white.
((("something" "is" "blue" "+") ("something" "is" "nice" "+")) -> ("something" "is" "white" "+"))
Big things are cold.
((("something" "is" "big" "+")) -> ("something" "is" "cold" "+"))
Big, cold things are nice.
((("something" "is" "big" "+") ("something" "is" "cold" "+")) -> ("something" "is" "nice" "+"))
If Anne is smart and Anne is big then Anne is nice.
((("Anne" "is" "smart" "+") ("Anne" "is" "big" "+")) -> ("Anne" "is" "nice" "+"))
If something is cold and big then it is blue.
((("something" "is" "cold" "+") ("something" "is" "big" "+")) -> ("something" "is" "blue" "+"))
If Anne is nice and Anne is cold then Anne is smart.
((("Anne" "is" "nice" "+") ("Anne" "is" "cold" "+")) -> ("Anne" "is" "smart" "+"))
All white things are big.
((("something" "is" "white" "+")) -> ("something" "is" "big" "+"))
If something is cold then it is smart.
((("something" "is" "cold" "+")) -> ("something" "is" "smart" "+"))
Anne is white.
True
1
proof
[(triple7 OR ((triple2 triple4) -> rule1) OR ((triple2 ((triple1 triple3) -> rule3)) -> rule1) OR ((triple2 ((triple6 triple1) -> rule4)) -> rule1) OR ((((triple3 triple1) -> rule5) triple4) -> rule1) OR ((((triple3 triple1) -> rule5) ((triple1 triple3) -> rule3)) -> rule1) OR ((((triple3 triple1) -> rule5) ((triple6 triple1) -> rule4)) -> rule1) OR ((triple2 ((triple1 ((triple1) -> rule2)) -> rule3)) -> rule1) OR ((triple2 ((((triple3) -> rule8) triple1) -> rule4)) -> rule1) OR ((((((triple1) -> rule2) triple1) -> rule5) triple4) -> rule1) OR ((((triple3 triple1) -> rule5) ((triple1 ((triple1) -> rule2)) -> rule3)) -> rule1) OR ((((triple3 triple1) -> rule5) ((((triple3) -> rule8) triple1) -> rule4)) -> rule1) OR ((((((triple1) -> rule2) triple1) -> rule5) ((triple1 triple3) -> rule3)) -> rule1) OR ((((((triple1) -> rule2) triple1) -> rule5) ((triple6 triple1) -> rule4)) -> rule1) OR ((((((triple1) -> rule2) triple1) -> rule5) ((triple1 ((triple1) -> rule2)) -> rule3)) -> rule1) OR ((((((triple1) -> rule2) triple1) -> rule5) ((((triple3) -> rule8) triple1) -> rule4)) -> rule1) OR ((triple2 ((((((triple1) -> rule2)) -> rule8) triple1) -> rule4)) -> rule1) OR ((((triple3 triple1) -> rule5) ((((((triple1) -> rule2)) -> rule8) triple1) -> rule4)) -> rule1) OR ((((((triple1) -> rule2) triple1) -> rule5) ((((((triple1) -> rule2)) -> rule8) triple1) -> rule4)) -> rule1))]
("Anne" "is" "white" "+")
triple7
((triple2 triple4) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
((triple2 ((triple1 triple3) -> (rule3 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((triple2 ((triple6 triple1) -> (rule4 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((((triple3 triple1) -> (rule5 % int2)) triple4) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((triple3 triple1) -> (rule5 % int3)) ((triple1 triple3) -> (rule3 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((triple3 triple1) -> (rule5 % int3)) ((triple6 triple1) -> (rule4 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((triple2 ((triple1 ((triple1) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((triple2 ((((triple3) -> (rule8 % int3)) triple1) -> (rule4 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
((((((triple1) -> (rule2 % int3)) triple1) -> (rule5 % int2)) triple4) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((triple3 triple1) -> (rule5 % int4)) ((triple1 ((triple1) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((triple3 triple1) -> (rule5 % int4)) ((((triple3) -> (rule8 % int3)) triple1) -> (rule4 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((triple1) -> (rule2 % int4)) triple1) -> (rule5 % int3)) ((triple1 triple3) -> (rule3 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((((triple1) -> (rule2 % int4)) triple1) -> (rule5 % int3)) ((triple6 triple1) -> (rule4 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((((triple1) -> (rule2 % int4)) triple1) -> (rule5 % int3)) ((triple1 ((triple1) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((((triple1) -> (rule2 % int5)) triple1) -> (rule5 % int4)) ((((triple3) -> (rule8 % int3)) triple1) -> (rule4 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((triple2 ((((((triple1) -> (rule2 % int4))) -> (rule8 % int3)) triple1) -> (rule4 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((triple3 triple1) -> (rule5 % int5)) ((((((triple1) -> (rule2 % int4))) -> (rule8 % int3)) triple1) -> (rule4 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
int5
((((((triple1) -> (rule2 % int5)) triple1) -> (rule5 % int4)) ((((((triple1) -> (rule2 % int5))) -> (rule8 % int3)) triple1) -> (rule4 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
Anne is not nice.
False
1
inv-proof
[(triple4 OR ((triple1 triple3) -> rule3) OR ((triple6 triple1) -> rule4) OR ((triple1 ((triple1) -> rule2)) -> rule3) OR ((triple6 ((triple7) -> rule7)) -> rule4) OR ((((triple3) -> rule8) triple1) -> rule4) OR ((((triple7) -> rule7) triple3) -> rule3) OR ((((triple3) -> rule8) ((triple7) -> rule7)) -> rule4) OR ((((triple7) -> rule7) ((triple1) -> rule2)) -> rule3) OR ((triple1 ((((triple7) -> rule7)) -> rule2)) -> rule3) OR ((((((triple1) -> rule2)) -> rule8) triple1) -> rule4) OR ((((triple7) -> rule7) ((((triple7) -> rule7)) -> rule2)) -> rule3) OR ((((((triple1) -> rule2)) -> rule8) ((triple7) -> rule7)) -> rule4) OR ((((((((triple7) -> rule7)) -> rule2)) -> rule8) triple1) -> rule4) OR ((((((((triple7) -> rule7)) -> rule2)) -> rule8) ((triple7) -> rule7)) -> rule4))]
("Anne" "is" "nice" "-")
triple4
((triple1 triple3) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((triple6 triple1) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((triple1 ((triple1) -> (rule2 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((triple6 ((triple7) -> (rule7 % int2))) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((triple3) -> (rule8 % int2)) triple1) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((triple7) -> (rule7 % int2)) triple3) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((triple3) -> (rule8 % int3)) ((triple7) -> (rule7 % int2))) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
((((triple7) -> (rule7 % int3)) ((triple1) -> (rule2 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((triple1 ((((triple7) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((((triple1) -> (rule2 % int3))) -> (rule8 % int2)) triple1) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((triple7) -> (rule7 % int3)) ((((triple7) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((((triple1) -> (rule2 % int4))) -> (rule8 % int3)) ((triple7) -> (rule7 % int2))) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((((((triple7) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) triple1) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((((triple7) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple7) -> (rule7 % int4))) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
@0: Anne is big.[(triple1 OR ((triple7) -> rule7) OR ((((triple2 triple4) -> rule1)) -> rule7))] Anne is blue.[(triple2 OR ((triple3 triple1) -> rule5) OR ((triple3 ((triple7) -> rule7)) -> rule5) OR ((((triple1) -> rule2) triple1) -> rule5) OR ((((triple1) -> rule2) ((triple7) -> rule7)) -> rule5) OR ((((((triple7) -> rule7)) -> rule2) triple1) -> rule5) OR ((((((triple7) -> rule7)) -> rule2) ((triple7) -> rule7)) -> rule5))] Anne is cold.[(triple3 OR ((triple1) -> rule2) OR ((((triple7) -> rule7)) -> rule2) OR ((((((triple2 triple4) -> rule1)) -> rule7)) -> rule2))] Anne is nice.[(triple4 OR ((triple1 triple3) -> rule3) OR ((triple6 triple1) -> rule4) OR ((triple1 ((triple1) -> rule2)) -> rule3) OR ((triple6 ((triple7) -> rule7)) -> rule4) OR ((((triple3) -> rule8) triple1) -> rule4) OR ((((triple7) -> rule7) triple3) -> rule3) OR ((((triple3) -> rule8) ((triple7) -> rule7)) -> rule4) OR ((((triple7) -> rule7) ((triple1) -> rule2)) -> rule3) OR ((triple1 ((((triple7) -> rule7)) -> rule2)) -> rule3) OR ((((((triple1) -> rule2)) -> rule8) triple1) -> rule4) OR ((((triple7) -> rule7) ((((triple7) -> rule7)) -> rule2)) -> rule3) OR ((((((triple1) -> rule2)) -> rule8) ((triple7) -> rule7)) -> rule4) OR ((((((((triple7) -> rule7)) -> rule2)) -> rule8) triple1) -> rule4) OR ((((((((triple7) -> rule7)) -> rule2)) -> rule8) ((triple7) -> rule7)) -> rule4))] Anne is round.[(triple5)] Anne is smart.[(triple6 OR ((triple3) -> rule8) OR ((triple4 triple3) -> rule6) OR ((((triple1) -> rule2)) -> rule8) OR ((triple4 ((triple1) -> rule2)) -> rule6) OR ((((triple1 triple3) -> rule3) triple3) -> rule6) OR ((((triple1 triple3) -> rule3) ((triple1) -> rule2)) -> rule6) OR ((((((triple7) -> rule7)) -> rule2)) -> rule8) OR ((triple4 ((((triple7) -> rule7)) -> rule2)) -> rule6) OR ((((triple1 ((triple1) -> rule2)) -> rule3) triple3) -> rule6) OR ((((((triple7) -> rule7) triple3) -> rule3) triple3) -> rule6) OR ((((triple1 triple3) -> rule3) ((((triple7) -> rule7)) -> rule2)) -> rule6) OR ((((triple1 ((triple1) -> rule2)) -> rule3) ((triple1) -> rule2)) -> rule6) OR ((((((triple7) -> rule7) triple3) -> rule3) ((triple1) -> rule2)) -> rule6) OR ((((((triple7) -> rule7) ((triple1) -> rule2)) -> rule3) triple3) -> rule6) OR ((((triple1 ((triple1) -> rule2)) -> rule3) ((((triple7) -> rule7)) -> rule2)) -> rule6) OR ((((((triple7) -> rule7) triple3) -> rule3) ((((triple7) -> rule7)) -> rule2)) -> rule6) OR ((((((triple7) -> rule7) ((triple1) -> rule2)) -> rule3) ((triple1) -> rule2)) -> rule6) OR ((((((triple7) -> rule7) ((triple1) -> rule2)) -> rule3) ((((triple7) -> rule7)) -> rule2)) -> rule6) OR ((((((((triple2 triple4) -> rule1)) -> rule7)) -> rule2)) -> rule8) OR ((triple4 ((((((triple2 triple4) -> rule1)) -> rule7)) -> rule2)) -> rule6) OR ((((triple1 ((((triple7) -> rule7)) -> rule2)) -> rule3) triple3) -> rule6) OR ((((triple1 triple3) -> rule3) ((((((triple2 triple4) -> rule1)) -> rule7)) -> rule2)) -> rule6) OR ((((triple1 ((((triple7) -> rule7)) -> rule2)) -> rule3) ((triple1) -> rule2)) -> rule6) OR ((((((triple7) -> rule7) ((((triple7) -> rule7)) -> rule2)) -> rule3) triple3) -> rule6) OR ((((triple1 ((triple1) -> rule2)) -> rule3) ((((((triple2 triple4) -> rule1)) -> rule7)) -> rule2)) -> rule6) OR ((((triple1 ((((triple7) -> rule7)) -> rule2)) -> rule3) ((((triple7) -> rule7)) -> rule2)) -> rule6) OR ((((((triple7) -> rule7) triple3) -> rule3) ((((((triple2 triple4) -> rule1)) -> rule7)) -> rule2)) -> rule6) OR ((((((triple7) -> rule7) ((((triple7) -> rule7)) -> rule2)) -> rule3) ((triple1) -> rule2)) -> rule6) OR ((((triple1 ((((triple7) -> rule7)) -> rule2)) -> rule3) ((((((triple2 triple4) -> rule1)) -> rule7)) -> rule2)) -> rule6) OR ((((((triple7) -> rule7) ((triple1) -> rule2)) -> rule3) ((((((triple2 triple4) -> rule1)) -> rule7)) -> rule2)) -> rule6) OR ((((((triple7) -> rule7) ((((triple7) -> rule7)) -> rule2)) -> rule3) ((((triple7) -> rule7)) -> rule2)) -> rule6) OR ((((((triple7) -> rule7) ((((triple7) -> rule7)) -> rule2)) -> rule3) ((((((triple2 triple4) -> rule1)) -> rule7)) -> rule2)) -> rule6))] Anne is white.[(triple7 OR ((triple2 triple4) -> rule1) OR ((triple2 ((triple1 triple3) -> rule3)) -> rule1) OR ((triple2 ((triple6 triple1) -> rule4)) -> rule1) OR ((((triple3 triple1) -> rule5) triple4) -> rule1) OR ((((triple3 triple1) -> rule5) ((triple1 triple3) -> rule3)) -> rule1) OR ((((triple3 triple1) -> rule5) ((triple6 triple1) -> rule4)) -> rule1) OR ((triple2 ((triple1 ((triple1) -> rule2)) -> rule3)) -> rule1) OR ((triple2 ((((triple3) -> rule8) triple1) -> rule4)) -> rule1) OR ((((((triple1) -> rule2) triple1) -> rule5) triple4) -> rule1) OR ((((triple3 triple1) -> rule5) ((triple1 ((triple1) -> rule2)) -> rule3)) -> rule1) OR ((((triple3 triple1) -> rule5) ((((triple3) -> rule8) triple1) -> rule4)) -> rule1) OR ((((((triple1) -> rule2) triple1) -> rule5) ((triple1 triple3) -> rule3)) -> rule1) OR ((((((triple1) -> rule2) triple1) -> rule5) ((triple6 triple1) -> rule4)) -> rule1) OR ((((((triple1) -> rule2) triple1) -> rule5) ((triple1 ((triple1) -> rule2)) -> rule3)) -> rule1) OR ((((((triple1) -> rule2) triple1) -> rule5) ((((triple3) -> rule8) triple1) -> rule4)) -> rule1) OR ((triple2 ((((((triple1) -> rule2)) -> rule8) triple1) -> rule4)) -> rule1) OR ((((triple3 triple1) -> rule5) ((((((triple1) -> rule2)) -> rule8) triple1) -> rule4)) -> rule1) OR ((((((triple1) -> rule2) triple1) -> rule5) ((((((triple1) -> rule2)) -> rule8) triple1) -> rule4)) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple7) -> (rule7 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((((triple2 triple4) -> (rule1 % int2))) -> (rule7 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
triple2
((triple3 triple1) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((triple3 ((triple7) -> (rule7 % int2))) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((triple1) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((triple1) -> (rule2 % int3)) ((triple7) -> (rule7 % int2))) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((((triple7) -> (rule7 % int3))) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((((triple7) -> (rule7 % int3))) -> (rule2 % int2)) ((triple7) -> (rule7 % int3))) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
triple3
((triple1) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((((triple7) -> (rule7 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((((triple2 triple4) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
triple4
((triple1 triple3) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((triple6 triple1) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((triple1 ((triple1) -> (rule2 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((triple6 ((triple7) -> (rule7 % int2))) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((triple3) -> (rule8 % int2)) triple1) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((triple7) -> (rule7 % int2)) triple3) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((triple3) -> (rule8 % int3)) ((triple7) -> (rule7 % int2))) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
((((triple7) -> (rule7 % int3)) ((triple1) -> (rule2 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((triple1 ((((triple7) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((((triple1) -> (rule2 % int3))) -> (rule8 % int2)) triple1) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((triple7) -> (rule7 % int3)) ((((triple7) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((((triple1) -> (rule2 % int4))) -> (rule8 % int3)) ((triple7) -> (rule7 % int2))) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((((((triple7) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) triple1) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((((triple7) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple7) -> (rule7 % int4))) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
triple5
Anne is smart.
("Anne" "is" "smart" "+")
triple6
((triple3) -> (rule8 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((triple4 triple3) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((((triple1) -> (rule2 % int2))) -> (rule8 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((triple4 ((triple1) -> (rule2 % int2))) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((triple1 triple3) -> (rule3 % int2)) triple3) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((((triple1 triple3) -> (rule3 % int3)) ((triple1) -> (rule2 % int2))) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((triple7) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((triple4 ((((triple7) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((triple1 ((triple1) -> (rule2 % int3))) -> (rule3 % int2)) triple3) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((((triple7) -> (rule7 % int3)) triple3) -> (rule3 % int2)) triple3) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((triple1 triple3) -> (rule3 % int4)) ((((triple7) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((triple1 ((triple1) -> (rule2 % int3))) -> (rule3 % int2)) ((triple1) -> (rule2 % int3))) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((((triple7) -> (rule7 % int4)) triple3) -> (rule3 % int3)) ((triple1) -> (rule2 % int2))) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((triple7) -> (rule7 % int4)) ((triple1) -> (rule2 % int3))) -> (rule3 % int2)) triple3) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((triple1 ((triple1) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple7) -> (rule7 % int2))) -> (rule2 % int4))) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((((triple7) -> (rule7 % int4)) triple3) -> (rule3 % int3)) ((((triple7) -> (rule7 % int4))) -> (rule2 % int2))) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((triple7) -> (rule7 % int4)) ((triple1) -> (rule2 % int3))) -> (rule3 % int2)) ((triple1) -> (rule2 % int3))) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((triple7) -> (rule7 % int4)) ((triple1) -> (rule2 % int3))) -> (rule3 % int2)) ((((triple7) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((((triple2 triple4) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((triple4 ((((((triple2 triple4) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((triple1 ((((triple7) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule3 % int2)) triple3) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((triple1 triple3) -> (rule3 % int5)) ((((((triple2 triple4) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((triple1 ((((triple7) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule3 % int2)) ((triple1) -> (rule2 % int3))) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((triple7) -> (rule7 % int4)) ((((triple7) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule3 % int2)) triple3) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((triple1 ((triple1) -> (rule2 % int5))) -> (rule3 % int4)) ((((((triple2 triple4) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule2 % int5))) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((((triple1 ((((triple7) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule3 % int2)) ((((triple7) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((triple7) -> (rule7 % int5)) triple3) -> (rule3 % int4)) ((((((triple2 triple4) -> (rule1 % int3))) -> (rule7 % int5))) -> (rule2 % int2))) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((triple7) -> (rule7 % int4)) ((((triple7) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule3 % int2)) ((triple1) -> (rule2 % int3))) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((triple1 ((((triple7) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((((((triple2 triple4) -> (rule1 % int2))) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((triple7) -> (rule7 % int5)) ((triple1) -> (rule2 % int4))) -> (rule3 % int3)) ((((((triple2 triple4) -> (rule1 % int2))) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((triple7) -> (rule7 % int4)) ((((triple7) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule3 % int2)) ((((triple7) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((triple7) -> (rule7 % int5)) ((((triple7) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((((((triple2 triple4) -> (rule1 % int2))) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Anne is white.
("Anne" "is" "white" "+")
triple7
((triple2 triple4) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
((triple2 ((triple1 triple3) -> (rule3 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((triple2 ((triple6 triple1) -> (rule4 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((((triple3 triple1) -> (rule5 % int2)) triple4) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((triple3 triple1) -> (rule5 % int3)) ((triple1 triple3) -> (rule3 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((triple3 triple1) -> (rule5 % int3)) ((triple6 triple1) -> (rule4 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((triple2 ((triple1 ((triple1) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((triple2 ((((triple3) -> (rule8 % int3)) triple1) -> (rule4 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
((((((triple1) -> (rule2 % int3)) triple1) -> (rule5 % int2)) triple4) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((triple3 triple1) -> (rule5 % int4)) ((triple1 ((triple1) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((triple3 triple1) -> (rule5 % int4)) ((((triple3) -> (rule8 % int3)) triple1) -> (rule4 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((triple1) -> (rule2 % int4)) triple1) -> (rule5 % int3)) ((triple1 triple3) -> (rule3 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((((triple1) -> (rule2 % int4)) triple1) -> (rule5 % int3)) ((triple6 triple1) -> (rule4 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((((triple1) -> (rule2 % int4)) triple1) -> (rule5 % int3)) ((triple1 ((triple1) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((((triple1) -> (rule2 % int5)) triple1) -> (rule5 % int4)) ((((triple3) -> (rule8 % int3)) triple1) -> (rule4 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((triple2 ((((((triple1) -> (rule2 % int4))) -> (rule8 % int3)) triple1) -> (rule4 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((triple3 triple1) -> (rule5 % int5)) ((((((triple1) -> (rule2 % int4))) -> (rule8 % int3)) triple1) -> (rule4 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
int5
((((((triple1) -> (rule2 % int5)) triple1) -> (rule5 % int4)) ((((((triple1) -> (rule2 % int5))) -> (rule8 % int3)) triple1) -> (rule4 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5