Anne is blue. Anne is cold. Anne is green. Anne is quiet. Anne is red. Anne is round. Anne is white. Charlie is blue. Charlie is cold. Charlie is green. Charlie is quiet. Charlie is red. Charlie is round. Charlie is white. Gary is green. Gary is quiet. If someone is round and cold then they are blue. If Anne is round then Anne is white. Round people are white. Quiet, green people are round. Blue, quiet people are cold. Round, blue people are red. White people are blue. White, cold people are blue.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
If someone is round and cold then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If Anne is round then Anne is white.
((("Anne" "is" "round" "+")) -> ("Anne" "is" "white" "+"))
Round people are white.
((("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
Quiet, green people are round.
((("someone" "is" "quiet" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
Blue, quiet people are cold.
((("someone" "is" "blue" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "+"))
Round, blue people are red.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
White people are blue.
((("someone" "is" "white" "+")) -> ("someone" "is" "blue" "+"))
White, cold people are blue.
((("someone" "is" "white" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
Anne is green.
True
1
proof
[(triple3)]
("Anne" "is" "green" "+")
triple3
Charlie is not green.
False
1
inv-proof
[(triple10)]
("Charlie" "is" "green" "-")
triple10
Gary is round.
True
3
proof
[(((triple16 triple15) -> rule4))]
("Gary" "is" "round" "+")
((triple16 triple15) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not round.
False
3
inv-proof
[(((triple16 triple15) -> rule4))]
("Gary" "is" "round" "-")
((triple16 triple15) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is white.
True
4
proof
[(((((triple16 triple15) -> rule4)) -> rule3))]
("Gary" "is" "white" "+")
((((triple16 triple15) -> (rule4 % int2))) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is not white.
False
4
inv-proof
[(((((triple16 triple15) -> rule4)) -> rule3))]
("Gary" "is" "white" "-")
((((triple16 triple15) -> (rule4 % int2))) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is blue.
True
5
proof
[(((((((triple16 triple15) -> rule4)) -> rule3)) -> rule7))]
("Gary" "is" "blue" "+")
((((((triple16 triple15) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is not blue.
False
5
inv-proof
[(((((((triple16 triple15) -> rule4)) -> rule3)) -> rule7))]
("Gary" "is" "blue" "-")
((((((triple16 triple15) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
@0: Anne is blue.[(triple1 OR ((triple7) -> rule7) OR ((triple6 triple2) -> rule1) OR ((triple7 triple2) -> rule8) OR ((((triple6) -> rule2)) -> rule7) OR ((((triple6) -> rule3)) -> rule7) OR ((((triple6) -> rule2) triple2) -> rule8) OR ((((triple6) -> rule3) triple2) -> rule8) OR ((((triple4 triple3) -> rule4) triple2) -> rule1) OR ((((((triple4 triple3) -> rule4)) -> rule2)) -> rule7) OR ((((((triple4 triple3) -> rule4)) -> rule3)) -> rule7) OR ((((((triple4 triple3) -> rule4)) -> rule2) triple2) -> rule8) OR ((((((triple4 triple3) -> rule4)) -> rule3) triple2) -> rule8))] Anne is cold.[(triple2 OR ((triple1 triple4) -> rule5) OR ((((triple7) -> rule7) triple4) -> rule5) OR ((((((triple6) -> rule2)) -> rule7) triple4) -> rule5) OR ((((((triple6) -> rule3)) -> rule7) triple4) -> rule5) OR ((((((((triple4 triple3) -> rule4)) -> rule2)) -> rule7) triple4) -> rule5) OR ((((((((triple4 triple3) -> rule4)) -> rule3)) -> rule7) triple4) -> rule5))] Anne is green.[(triple3)] Anne is quiet.[(triple4)] Anne is red.[(triple5 OR ((triple6 triple1) -> rule6) OR ((triple6 ((triple7) -> rule7)) -> rule6) OR ((triple6 ((triple6 triple2) -> rule1)) -> rule6) OR ((triple6 ((triple7 triple2) -> rule8)) -> rule6) OR ((((triple4 triple3) -> rule4) triple1) -> rule6) OR ((((triple4 triple3) -> rule4) ((triple7) -> rule7)) -> rule6) OR ((((triple4 triple3) -> rule4) ((triple6 triple2) -> rule1)) -> rule6) OR ((((triple4 triple3) -> rule4) ((triple7 triple2) -> rule8)) -> rule6) OR ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule6) OR ((triple6 ((((triple6) -> rule3)) -> rule7)) -> rule6) OR ((triple6 ((((triple6) -> rule2) triple2) -> rule8)) -> rule6) OR ((triple6 ((((triple6) -> rule3) triple2) -> rule8)) -> rule6) OR ((triple6 ((((triple4 triple3) -> rule4) triple2) -> rule1)) -> rule6) OR ((((triple4 triple3) -> rule4) ((((triple6) -> rule2)) -> rule7)) -> rule6) OR ((((triple4 triple3) -> rule4) ((((triple6) -> rule3)) -> rule7)) -> rule6) OR ((((triple4 triple3) -> rule4) ((((triple6) -> rule2) triple2) -> rule8)) -> rule6) OR ((((triple4 triple3) -> rule4) ((((triple6) -> rule3) triple2) -> rule8)) -> rule6) OR ((((triple4 triple3) -> rule4) ((((triple4 triple3) -> rule4) triple2) -> rule1)) -> rule6) OR ((triple6 ((((((triple4 triple3) -> rule4)) -> rule2)) -> rule7)) -> rule6) OR ((triple6 ((((((triple4 triple3) -> rule4)) -> rule3)) -> rule7)) -> rule6) OR ((triple6 ((((((triple4 triple3) -> rule4)) -> rule2) triple2) -> rule8)) -> rule6) OR ((triple6 ((((((triple4 triple3) -> rule4)) -> rule3) triple2) -> rule8)) -> rule6) OR ((((triple4 triple3) -> rule4) ((((((triple4 triple3) -> rule4)) -> rule2)) -> rule7)) -> rule6) OR ((((triple4 triple3) -> rule4) ((((((triple4 triple3) -> rule4)) -> rule3)) -> rule7)) -> rule6) OR ((((triple4 triple3) -> rule4) ((((((triple4 triple3) -> rule4)) -> rule2) triple2) -> rule8)) -> rule6) OR ((((triple4 triple3) -> rule4) ((((((triple4 triple3) -> rule4)) -> rule3) triple2) -> rule8)) -> rule6))] Anne is round.[(triple6 OR ((triple4 triple3) -> rule4))] Anne is white.[(triple7 OR ((triple6) -> rule2) OR ((triple6) -> rule3) OR ((((triple4 triple3) -> rule4)) -> rule2) OR ((((triple4 triple3) -> rule4)) -> rule3))] Charlie is blue.[(triple8 OR ((triple14) -> rule7) OR ((triple13 triple9) -> rule1) OR ((triple14 triple9) -> rule8) OR ((((triple13) -> rule3)) -> rule7) OR ((((triple13) -> rule3) triple9) -> rule8) OR ((((triple11 triple10) -> rule4) triple9) -> rule1) OR ((((((triple11 triple10) -> rule4)) -> rule3)) -> rule7) OR ((((((triple11 triple10) -> rule4)) -> rule3) triple9) -> rule8))] Charlie is cold.[(triple9 OR ((triple8 triple11) -> rule5) OR ((((triple14) -> rule7) triple11) -> rule5) OR ((((((triple13) -> rule3)) -> rule7) triple11) -> rule5) OR ((((((((triple11 triple10) -> rule4)) -> rule3)) -> rule7) triple11) -> rule5))] Charlie is green.[(triple10)] Charlie is quiet.[(triple11)] Charlie is red.[(triple12 OR ((triple13 triple8) -> rule6) OR ((triple13 ((triple14) -> rule7)) -> rule6) OR ((triple13 ((triple13 triple9) -> rule1)) -> rule6) OR ((triple13 ((triple14 triple9) -> rule8)) -> rule6) OR ((((triple11 triple10) -> rule4) triple8) -> rule6) OR ((((triple11 triple10) -> rule4) ((triple14) -> rule7)) -> rule6) OR ((((triple11 triple10) -> rule4) ((triple13 triple9) -> rule1)) -> rule6) OR ((((triple11 triple10) -> rule4) ((triple14 triple9) -> rule8)) -> rule6) OR ((triple13 ((((triple13) -> rule3)) -> rule7)) -> rule6) OR ((triple13 ((((triple13) -> rule3) triple9) -> rule8)) -> rule6) OR ((triple13 ((((triple11 triple10) -> rule4) triple9) -> rule1)) -> rule6) OR ((((triple11 triple10) -> rule4) ((((triple13) -> rule3)) -> rule7)) -> rule6) OR ((((triple11 triple10) -> rule4) ((((triple13) -> rule3) triple9) -> rule8)) -> rule6) OR ((((triple11 triple10) -> rule4) ((((triple11 triple10) -> rule4) triple9) -> rule1)) -> rule6) OR ((triple13 ((((((triple11 triple10) -> rule4)) -> rule3)) -> rule7)) -> rule6) OR ((triple13 ((((((triple11 triple10) -> rule4)) -> rule3) triple9) -> rule8)) -> rule6) OR ((((triple11 triple10) -> rule4) ((((((triple11 triple10) -> rule4)) -> rule3)) -> rule7)) -> rule6) OR ((((triple11 triple10) -> rule4) ((((((triple11 triple10) -> rule4)) -> rule3) triple9) -> rule8)) -> rule6))] Charlie is round.[(triple13 OR ((triple11 triple10) -> rule4))] Charlie is white.[(triple14 OR ((triple13) -> rule3) OR ((((triple11 triple10) -> rule4)) -> rule3))] Gary is green.[(triple15)] Gary is quiet.[(triple16)] @1: Gary is round.[(((triple16 triple15) -> rule4))] @2: Gary is white.[(((((triple16 triple15) -> rule4)) -> rule3))] @3: Gary is blue.[(((((((triple16 triple15) -> rule4)) -> rule3)) -> rule7))] @4: Gary is cold.[(((((((((triple16 triple15) -> rule4)) -> rule3)) -> rule7) triple16) -> rule5))] Gary is red.[(((((triple16 triple15) -> rule4) ((((((triple16 triple15) -> rule4)) -> rule3)) -> rule7)) -> rule6))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
((triple7) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((triple6 triple2) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((triple7 triple2) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((((triple6) -> (rule2 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((((triple6) -> (rule3 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((((triple6) -> (rule2 % int2)) triple2) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((((triple6) -> (rule3 % int2)) triple2) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((((triple4 triple3) -> (rule4 % int2)) triple2) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((((triple4 triple3) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple4 triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple4 triple3) -> (rule4 % int3))) -> (rule2 % int2)) triple2) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple4 triple3) -> (rule4 % int3))) -> (rule3 % int2)) triple2) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
triple2
((triple1 triple4) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((((triple7) -> (rule7 % int2)) triple4) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((((triple6) -> (rule2 % int3))) -> (rule7 % int2)) triple4) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((((triple6) -> (rule3 % int3))) -> (rule7 % int2)) triple4) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((((((triple4 triple3) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule7 % int2)) triple4) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((((((triple4 triple3) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2)) triple4) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
Anne is red.
("Anne" "is" "red" "+")
triple5
((triple6 triple1) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
((triple6 ((triple7) -> (rule7 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((triple6 ((triple6 triple2) -> (rule1 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((triple6 ((triple7 triple2) -> (rule8 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((triple4 triple3) -> (rule4 % int2)) triple1) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple4 triple3) -> (rule4 % int3)) ((triple7) -> (rule7 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((triple4 triple3) -> (rule4 % int3)) ((triple6 triple2) -> (rule1 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((triple4 triple3) -> (rule4 % int3)) ((triple7 triple2) -> (rule8 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((triple6 ((((triple6) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((triple6 ((((triple6) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((triple6 ((((triple6) -> (rule2 % int3)) triple2) -> (rule8 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((triple6 ((((triple6) -> (rule3 % int3)) triple2) -> (rule8 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((triple6 ((((triple4 triple3) -> (rule4 % int3)) triple2) -> (rule1 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((triple4 triple3) -> (rule4 % int4)) ((((triple6) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((triple4 triple3) -> (rule4 % int4)) ((((triple6) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((triple4 triple3) -> (rule4 % int4)) ((((triple6) -> (rule2 % int3)) triple2) -> (rule8 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((triple4 triple3) -> (rule4 % int4)) ((((triple6) -> (rule3 % int3)) triple2) -> (rule8 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((triple4 triple3) -> (rule4 % int3)) ((((triple4 triple3) -> (rule4 % int3)) triple2) -> (rule1 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((triple6 ((((((triple4 triple3) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((triple6 ((((((triple4 triple3) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((triple6 ((((((triple4 triple3) -> (rule4 % int4))) -> (rule2 % int3)) triple2) -> (rule8 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((triple6 ((((((triple4 triple3) -> (rule4 % int4))) -> (rule3 % int3)) triple2) -> (rule8 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((triple4 triple3) -> (rule4 % int4)) ((((((triple4 triple3) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((triple4 triple3) -> (rule4 % int4)) ((((((triple4 triple3) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((triple4 triple3) -> (rule4 % int4)) ((((((triple4 triple3) -> (rule4 % int4))) -> (rule2 % int3)) triple2) -> (rule8 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((triple4 triple3) -> (rule4 % int4)) ((((((triple4 triple3) -> (rule4 % int4))) -> (rule3 % int3)) triple2) -> (rule8 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
triple6
((triple4 triple3) -> (rule4 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
triple7
((triple6) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
((triple6) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
((((triple4 triple3) -> (rule4 % int2))) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple4 triple3) -> (rule4 % int2))) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
triple8
((triple14) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((triple13 triple9) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((triple14 triple9) -> (rule8 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((((triple13) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((((triple13) -> (rule3 % int2)) triple9) -> (rule8 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((((triple11 triple10) -> (rule4 % int2)) triple9) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((((triple11 triple10) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple11 triple10) -> (rule4 % int3))) -> (rule3 % int2)) triple9) -> (rule8 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple9
((triple8 triple11) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((((triple14) -> (rule7 % int2)) triple11) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((((triple13) -> (rule3 % int3))) -> (rule7 % int2)) triple11) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((((((triple11 triple10) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2)) triple11) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
triple10
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple11
Charlie is red.
("Charlie" "is" "red" "+")
triple12
((triple13 triple8) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
((triple13 ((triple14) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((triple13 ((triple13 triple9) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((triple13 ((triple14 triple9) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple11 triple10) -> (rule4 % int2)) triple8) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple11 triple10) -> (rule4 % int3)) ((triple14) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((triple11 triple10) -> (rule4 % int3)) ((triple13 triple9) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((triple11 triple10) -> (rule4 % int3)) ((triple14 triple9) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((triple13 ((((triple13) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((triple13 ((((triple13) -> (rule3 % int3)) triple9) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((triple13 ((((triple11 triple10) -> (rule4 % int3)) triple9) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((triple11 triple10) -> (rule4 % int4)) ((((triple13) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple11 triple10) -> (rule4 % int4)) ((((triple13) -> (rule3 % int3)) triple9) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple11 triple10) -> (rule4 % int3)) ((((triple11 triple10) -> (rule4 % int3)) triple9) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((triple13 ((((((triple11 triple10) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((triple13 ((((((triple11 triple10) -> (rule4 % int4))) -> (rule3 % int3)) triple9) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple11 triple10) -> (rule4 % int4)) ((((((triple11 triple10) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple11 triple10) -> (rule4 % int4)) ((((((triple11 triple10) -> (rule4 % int4))) -> (rule3 % int3)) triple9) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
triple13
((triple11 triple10) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
triple14
((triple13) -> (rule3 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
((((triple11 triple10) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
triple15
Gary is quiet.
("Gary" "is" "quiet" "+")
triple16
Gary is round.
("Gary" "is" "round" "+")
((triple16 triple15) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((((triple16 triple15) -> (rule4 % int2))) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
((((((triple16 triple15) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
((((((((triple16 triple15) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2)) triple16) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
((((triple16 triple15) -> (rule4 % int4)) ((((((triple16 triple15) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4