Charlie is big. Charlie is blue. Charlie is cold. Charlie is green. Charlie is red. Charlie is round. Charlie is white. Dave is big. Dave is blue. Dave is red. Dave is round. Dave is white. Erin is big. Erin is blue. Erin is cold. Erin is round. If Charlie is blue then Charlie is big. All round things are red. All green, red things are big. All blue, red things are green. Green things are red. If something is white then it is green. All white, round things are big. If something is cold and white then it is red.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is round.
("Erin" "is" "round" "+")
If Charlie is blue then Charlie is big.
((("Charlie" "is" "blue" "+")) -> ("Charlie" "is" "big" "+"))
All round things are red.
((("something" "is" "round" "+")) -> ("something" "is" "red" "+"))
All green, red things are big.
((("something" "is" "green" "+") ("something" "is" "red" "+")) -> ("something" "is" "big" "+"))
All blue, red things are green.
((("something" "is" "blue" "+") ("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
Green things are red.
((("something" "is" "green" "+")) -> ("something" "is" "red" "+"))
If something is white then it is green.
((("something" "is" "white" "+")) -> ("something" "is" "green" "+"))
All white, round things are big.
((("something" "is" "white" "+") ("something" "is" "round" "+")) -> ("something" "is" "big" "+"))
If something is cold and white then it is red.
((("something" "is" "cold" "+") ("something" "is" "white" "+")) -> ("something" "is" "red" "+"))
Charlie is big.
True
1
proof
[(triple1 OR ((triple2) -> rule1) OR ((triple4 triple5) -> rule3) OR ((triple7 triple6) -> rule7) OR ((triple4 ((triple4) -> rule5)) -> rule3) OR ((triple4 ((triple6) -> rule2)) -> rule3) OR ((triple4 ((triple3 triple7) -> rule8)) -> rule3) OR ((((triple7) -> rule6) triple5) -> rule3) OR ((((triple2 triple5) -> rule4) triple5) -> rule3) OR ((((triple7) -> rule6) ((triple4) -> rule5)) -> rule3) OR ((((triple7) -> rule6) ((triple6) -> rule2)) -> rule3) OR ((((triple7) -> rule6) ((triple3 triple7) -> rule8)) -> rule3) OR ((((triple2 triple5) -> rule4) ((triple4) -> rule5)) -> rule3) OR ((((triple2 triple5) -> rule4) ((triple6) -> rule2)) -> rule3) OR ((((triple2 triple5) -> rule4) ((triple3 triple7) -> rule8)) -> rule3) OR ((triple4 ((((triple7) -> rule6)) -> rule5)) -> rule3) OR ((((triple2 ((triple6) -> rule2)) -> rule4) triple5) -> rule3) OR ((((triple2 ((triple3 triple7) -> rule8)) -> rule4) triple5) -> rule3) OR ((((triple7) -> rule6) ((((triple7) -> rule6)) -> rule5)) -> rule3) OR ((((triple2 triple5) -> rule4) ((((triple7) -> rule6)) -> rule5)) -> rule3) OR ((((triple2 ((triple6) -> rule2)) -> rule4) ((triple4) -> rule5)) -> rule3) OR ((((triple2 ((triple6) -> rule2)) -> rule4) ((triple6) -> rule2)) -> rule3) OR ((((triple2 ((triple6) -> rule2)) -> rule4) ((triple3 triple7) -> rule8)) -> rule3) OR ((((triple2 ((triple3 triple7) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule3) OR ((((triple2 ((triple3 triple7) -> rule8)) -> rule4) ((triple6) -> rule2)) -> rule3) OR ((((triple2 ((triple3 triple7) -> rule8)) -> rule4) ((triple3 triple7) -> rule8)) -> rule3) OR ((((triple2 ((triple6) -> rule2)) -> rule4) ((((triple7) -> rule6)) -> rule5)) -> rule3) OR ((((triple2 ((triple3 triple7) -> rule8)) -> rule4) ((((triple7) -> rule6)) -> rule5)) -> rule3))]
("Charlie" "is" "big" "+")
triple1
((triple2) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple4 triple5) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple7 triple6) -> (rule7 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple4 ((triple4) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((triple4 ((triple6) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((triple4 ((triple3 triple7) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((((triple7) -> (rule6 % int2)) triple5) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
((((triple2 triple5) -> (rule4 % int2)) triple5) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
((((triple7) -> (rule6 % int3)) ((triple4) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple7) -> (rule6 % int3)) ((triple6) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple7) -> (rule6 % int3)) ((triple3 triple7) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple2 triple5) -> (rule4 % int3)) ((triple4) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple2 triple5) -> (rule4 % int3)) ((triple6) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple2 triple5) -> (rule4 % int3)) ((triple3 triple7) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((triple4 ((((triple7) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple2 ((triple6) -> (rule2 % int3))) -> (rule4 % int2)) triple5) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((triple2 ((triple3 triple7) -> (rule8 % int3))) -> (rule4 % int2)) triple5) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((triple7) -> (rule6 % int3)) ((((triple7) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple2 triple5) -> (rule4 % int3)) ((((triple7) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple2 ((triple6) -> (rule2 % int3))) -> (rule4 % int2)) ((triple4) -> (rule5 % int3))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((triple2 ((triple6) -> (rule2 % int3))) -> (rule4 % int2)) ((triple6) -> (rule2 % int3))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((triple2 ((triple6) -> (rule2 % int3))) -> (rule4 % int2)) ((triple3 triple7) -> (rule8 % int3))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((triple2 ((triple3 triple7) -> (rule8 % int3))) -> (rule4 % int2)) ((triple4) -> (rule5 % int3))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((triple2 ((triple3 triple7) -> (rule8 % int3))) -> (rule4 % int2)) ((triple6) -> (rule2 % int3))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((triple2 ((triple3 triple7) -> (rule8 % int3))) -> (rule4 % int2)) ((triple3 triple7) -> (rule8 % int3))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((triple2 ((triple6) -> (rule2 % int3))) -> (rule4 % int2)) ((((triple7) -> (rule6 % int2))) -> (rule5 % int3))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((triple2 ((triple3 triple7) -> (rule8 % int3))) -> (rule4 % int2)) ((((triple7) -> (rule6 % int2))) -> (rule5 % int3))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Dave is not blue.
False
1
inv-proof
[(triple9)]
("Dave" "is" "blue" "-")
triple9
Erin is red.
True
2
proof
[(((triple16) -> rule2))]
("Erin" "is" "red" "+")
((triple16) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is not red.
False
2
inv-proof
[(((triple16) -> rule2))]
("Erin" "is" "red" "-")
((triple16) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is green.
True
4
proof
[(((triple14 ((triple16) -> rule2)) -> rule4))]
("Erin" "is" "green" "+")
((triple14 ((triple16) -> (rule2 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is not green.
False
4
inv-proof
[(((triple14 ((triple16) -> rule2)) -> rule4))]
("Erin" "is" "green" "-")
((triple14 ((triple16) -> (rule2 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Charlie is big.[(triple1 OR ((triple2) -> rule1) OR ((triple4 triple5) -> rule3) OR ((triple7 triple6) -> rule7) OR ((triple4 ((triple4) -> rule5)) -> rule3) OR ((triple4 ((triple6) -> rule2)) -> rule3) OR ((triple4 ((triple3 triple7) -> rule8)) -> rule3) OR ((((triple7) -> rule6) triple5) -> rule3) OR ((((triple2 triple5) -> rule4) triple5) -> rule3) OR ((((triple7) -> rule6) ((triple4) -> rule5)) -> rule3) OR ((((triple7) -> rule6) ((triple6) -> rule2)) -> rule3) OR ((((triple7) -> rule6) ((triple3 triple7) -> rule8)) -> rule3) OR ((((triple2 triple5) -> rule4) ((triple4) -> rule5)) -> rule3) OR ((((triple2 triple5) -> rule4) ((triple6) -> rule2)) -> rule3) OR ((((triple2 triple5) -> rule4) ((triple3 triple7) -> rule8)) -> rule3) OR ((triple4 ((((triple7) -> rule6)) -> rule5)) -> rule3) OR ((((triple2 ((triple6) -> rule2)) -> rule4) triple5) -> rule3) OR ((((triple2 ((triple3 triple7) -> rule8)) -> rule4) triple5) -> rule3) OR ((((triple7) -> rule6) ((((triple7) -> rule6)) -> rule5)) -> rule3) OR ((((triple2 triple5) -> rule4) ((((triple7) -> rule6)) -> rule5)) -> rule3) OR ((((triple2 ((triple6) -> rule2)) -> rule4) ((triple4) -> rule5)) -> rule3) OR ((((triple2 ((triple6) -> rule2)) -> rule4) ((triple6) -> rule2)) -> rule3) OR ((((triple2 ((triple6) -> rule2)) -> rule4) ((triple3 triple7) -> rule8)) -> rule3) OR ((((triple2 ((triple3 triple7) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule3) OR ((((triple2 ((triple3 triple7) -> rule8)) -> rule4) ((triple6) -> rule2)) -> rule3) OR ((((triple2 ((triple3 triple7) -> rule8)) -> rule4) ((triple3 triple7) -> rule8)) -> rule3) OR ((((triple2 ((triple6) -> rule2)) -> rule4) ((((triple7) -> rule6)) -> rule5)) -> rule3) OR ((((triple2 ((triple3 triple7) -> rule8)) -> rule4) ((((triple7) -> rule6)) -> rule5)) -> rule3))] Charlie is blue.[(triple2)] Charlie is cold.[(triple3)] Charlie is green.[(triple4 OR ((triple7) -> rule6) OR ((triple2 triple5) -> rule4) OR ((triple2 ((triple6) -> rule2)) -> rule4) OR ((triple2 ((triple3 triple7) -> rule8)) -> rule4))] Charlie is red.[(triple5 OR ((triple4) -> rule5) OR ((triple6) -> rule2) OR ((triple3 triple7) -> rule8) OR ((((triple7) -> rule6)) -> rule5))] Charlie is round.[(triple6)] Charlie is white.[(triple7)] Dave is big.[(triple8 OR ((triple12 triple11) -> rule7) OR ((((triple12) -> rule6) triple10) -> rule3) OR ((((triple9 triple10) -> rule4) triple10) -> rule3) OR ((((triple12) -> rule6) ((triple11) -> rule2)) -> rule3) OR ((((triple9 triple10) -> rule4) ((triple11) -> rule2)) -> rule3) OR ((((triple9 ((triple11) -> rule2)) -> rule4) triple10) -> rule3) OR ((((triple12) -> rule6) ((((triple12) -> rule6)) -> rule5)) -> rule3) OR ((((triple9 triple10) -> rule4) ((((triple12) -> rule6)) -> rule5)) -> rule3) OR ((((triple9 ((triple11) -> rule2)) -> rule4) ((triple11) -> rule2)) -> rule3) OR ((((triple9 ((triple11) -> rule2)) -> rule4) ((((triple12) -> rule6)) -> rule5)) -> rule3))] Dave is blue.[(triple9)] Dave is red.[(triple10 OR ((triple11) -> rule2) OR ((((triple12) -> rule6)) -> rule5))] Dave is round.[(triple11)] Dave is white.[(triple12)] Erin is big.[(triple13 OR ((((triple14 ((triple16) -> rule2)) -> rule4) ((triple16) -> rule2)) -> rule3))] Erin is blue.[(triple14)] Erin is cold.[(triple15)] Erin is round.[(triple16)] @1: Dave is green.[(((triple12) -> rule6) OR ((triple9 triple10) -> rule4) OR ((triple9 ((triple11) -> rule2)) -> rule4))] Erin is red.[(((triple16) -> rule2))] @2: Erin is green.[(((triple14 ((triple16) -> rule2)) -> rule4))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
((triple2) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple4 triple5) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple7 triple6) -> (rule7 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple4 ((triple4) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((triple4 ((triple6) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((triple4 ((triple3 triple7) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((((triple7) -> (rule6 % int2)) triple5) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
((((triple2 triple5) -> (rule4 % int2)) triple5) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
((((triple7) -> (rule6 % int3)) ((triple4) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple7) -> (rule6 % int3)) ((triple6) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple7) -> (rule6 % int3)) ((triple3 triple7) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple2 triple5) -> (rule4 % int3)) ((triple4) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple2 triple5) -> (rule4 % int3)) ((triple6) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple2 triple5) -> (rule4 % int3)) ((triple3 triple7) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((triple4 ((((triple7) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple2 ((triple6) -> (rule2 % int3))) -> (rule4 % int2)) triple5) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((triple2 ((triple3 triple7) -> (rule8 % int3))) -> (rule4 % int2)) triple5) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((triple7) -> (rule6 % int3)) ((((triple7) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple2 triple5) -> (rule4 % int3)) ((((triple7) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple2 ((triple6) -> (rule2 % int3))) -> (rule4 % int2)) ((triple4) -> (rule5 % int3))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((triple2 ((triple6) -> (rule2 % int3))) -> (rule4 % int2)) ((triple6) -> (rule2 % int3))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((triple2 ((triple6) -> (rule2 % int3))) -> (rule4 % int2)) ((triple3 triple7) -> (rule8 % int3))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((triple2 ((triple3 triple7) -> (rule8 % int3))) -> (rule4 % int2)) ((triple4) -> (rule5 % int3))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((triple2 ((triple3 triple7) -> (rule8 % int3))) -> (rule4 % int2)) ((triple6) -> (rule2 % int3))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((triple2 ((triple3 triple7) -> (rule8 % int3))) -> (rule4 % int2)) ((triple3 triple7) -> (rule8 % int3))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((triple2 ((triple6) -> (rule2 % int3))) -> (rule4 % int2)) ((((triple7) -> (rule6 % int2))) -> (rule5 % int3))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((triple2 ((triple3 triple7) -> (rule8 % int3))) -> (rule4 % int2)) ((((triple7) -> (rule6 % int2))) -> (rule5 % int3))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
Charlie is green.
("Charlie" "is" "green" "+")
triple4
((triple7) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((triple2 triple5) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((triple2 ((triple6) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((triple2 ((triple3 triple7) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
triple5
((triple4) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
((triple6) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
((triple3 triple7) -> (rule8 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
((((triple7) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
triple6
Charlie is white.
("Charlie" "is" "white" "+")
triple7
Dave is big.
("Dave" "is" "big" "+")
triple8
((triple12 triple11) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((((triple12) -> (rule6 % int2)) triple10) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((((triple9 triple10) -> (rule4 % int2)) triple10) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((((triple12) -> (rule6 % int3)) ((triple11) -> (rule2 % int2))) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((triple9 triple10) -> (rule4 % int3)) ((triple11) -> (rule2 % int2))) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((triple9 ((triple11) -> (rule2 % int3))) -> (rule4 % int2)) triple10) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((triple12) -> (rule6 % int3)) ((((triple12) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((triple9 triple10) -> (rule4 % int3)) ((((triple12) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((triple9 ((triple11) -> (rule2 % int3))) -> (rule4 % int2)) ((triple11) -> (rule2 % int3))) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((triple9 ((triple11) -> (rule2 % int3))) -> (rule4 % int2)) ((((triple12) -> (rule6 % int2))) -> (rule5 % int3))) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
triple9
Dave is red.
("Dave" "is" "red" "+")
triple10
((triple11) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((((triple12) -> (rule6 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
triple11
Dave is white.
("Dave" "is" "white" "+")
triple12
Erin is big.
("Erin" "is" "big" "+")
triple13
((((triple14 ((triple16) -> (rule2 % int3))) -> (rule4 % int2)) ((triple16) -> (rule2 % int3))) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
triple14
Erin is cold.
("Erin" "is" "cold" "+")
triple15
Erin is round.
("Erin" "is" "round" "+")
triple16
Dave is green.
("Dave" "is" "green" "+")
((triple12) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((triple9 triple10) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((triple9 ((triple11) -> (rule2 % int2))) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
((triple16) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
((triple14 ((triple16) -> (rule2 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2