Anne is cold. Anne is nice. Anne is quiet. Anne is round. Bob is nice. Erin is big. Erin is blue. Erin is cold. Erin is green. Erin is nice. Erin is quiet. Erin is round. Gary is big. Gary is blue. Gary is green. Gary is nice. All nice things are round. Quiet, green things are blue. If something is nice and blue then it is quiet. If something is cold then it is blue. If Gary is quiet then Gary is green. Round things are green. If Gary is blue then Gary is quiet. Nice things are big. All green things are cold.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is round.
("Erin" "is" "round" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
All nice things are round.
((("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
Quiet, green things are blue.
((("something" "is" "quiet" "+") ("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
If something is nice and blue then it is quiet.
((("something" "is" "nice" "+") ("something" "is" "blue" "+")) -> ("something" "is" "quiet" "+"))
If something is cold then it is blue.
((("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
If Gary is quiet then Gary is green.
((("Gary" "is" "quiet" "+")) -> ("Gary" "is" "green" "+"))
Round things are green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
If Gary is blue then Gary is quiet.
((("Gary" "is" "blue" "+")) -> ("Gary" "is" "quiet" "+"))
Nice things are big.
((("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
All green things are cold.
((("something" "is" "green" "+")) -> ("something" "is" "cold" "+"))
Gary is blue.
True
1
proof
[(triple14 OR ((((triple15) -> rule9)) -> rule4) OR ((((((((triple16) -> rule1)) -> rule6)) -> rule9)) -> rule4))]
("Gary" "is" "blue" "+")
triple14
((((triple15) -> (rule9 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((((((((triple16) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Bob is not nice.
False
1
inv-proof
[(triple5)]
("Bob" "is" "nice" "-")
triple5
Gary is cold.
True
2
proof
[(((triple15) -> rule9) OR ((((((triple14) -> rule7)) -> rule5)) -> rule9) OR ((((((triple16) -> rule1)) -> rule6)) -> rule9) OR ((((((triple16 triple14) -> rule3)) -> rule5)) -> rule9))]
("Gary" "is" "cold" "+")
((triple15) -> (rule9 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((((((triple14) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((((triple16) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((((triple16 triple14) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Bob is not big.
False
2
inv-proof
[(((triple5) -> rule8))]
("Bob" "is" "big" "-")
((triple5) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
True
3
proof
[(((((triple5) -> rule1)) -> rule6))]
("Bob" "is" "green" "+")
((((triple5) -> (rule1 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is not green.
False
3
inv-proof
[(((((triple5) -> rule1)) -> rule6))]
("Bob" "is" "green" "-")
((((triple5) -> (rule1 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is cold.
True
4
proof
[(((((((triple5) -> rule1)) -> rule6)) -> rule9))]
("Bob" "is" "cold" "+")
((((((triple5) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is not cold.
False
4
inv-proof
[(((((((triple5) -> rule1)) -> rule6)) -> rule9))]
("Bob" "is" "cold" "-")
((((((triple5) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is blue.
True
5
proof
[(((((((((triple5) -> rule1)) -> rule6)) -> rule9)) -> rule4))]
("Bob" "is" "blue" "+")
((((((((triple5) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is not blue.
False
5
inv-proof
[(((((((((triple5) -> rule1)) -> rule6)) -> rule9)) -> rule4))]
("Bob" "is" "blue" "-")
((((((((triple5) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is quiet.
True
7
proof
[(((triple5 ((((((((triple5) -> rule1)) -> rule6)) -> rule9)) -> rule4)) -> rule3))]
("Bob" "is" "quiet" "+")
((triple5 ((((((((triple5) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
Bob is not quiet.
False
7
inv-proof
[(((triple5 ((((((((triple5) -> rule1)) -> rule6)) -> rule9)) -> rule4)) -> rule3))]
("Bob" "is" "quiet" "-")
((triple5 ((((((((triple5) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
@0: Anne is cold.[(triple1 OR ((((triple4) -> rule6)) -> rule9) OR ((((((triple2) -> rule1)) -> rule6)) -> rule9))] Anne is nice.[(triple2)] Anne is quiet.[(triple3 OR ((triple2 ((triple1) -> rule4)) -> rule3) OR ((triple2 ((((((triple4) -> rule6)) -> rule9)) -> rule4)) -> rule3) OR ((triple2 ((((((((triple2) -> rule1)) -> rule6)) -> rule9)) -> rule4)) -> rule3))] Anne is round.[(triple4 OR ((triple2) -> rule1))] Bob is nice.[(triple5)] Erin is big.[(triple6 OR ((triple10) -> rule8))] Erin is blue.[(triple7 OR ((triple8) -> rule4) OR ((triple11 triple9) -> rule2) OR ((((triple9) -> rule9)) -> rule4) OR ((triple11 ((triple12) -> rule6)) -> rule2) OR ((((((triple12) -> rule6)) -> rule9)) -> rule4) OR ((triple11 ((((triple10) -> rule1)) -> rule6)) -> rule2) OR ((((((((triple10) -> rule1)) -> rule6)) -> rule9)) -> rule4))] Erin is cold.[(triple8 OR ((triple9) -> rule9) OR ((((triple12) -> rule6)) -> rule9) OR ((((((triple10) -> rule1)) -> rule6)) -> rule9))] Erin is green.[(triple9 OR ((triple12) -> rule6) OR ((((triple10) -> rule1)) -> rule6))] Erin is nice.[(triple10)] Erin is quiet.[(triple11 OR ((triple10 triple7) -> rule3) OR ((triple10 ((triple8) -> rule4)) -> rule3) OR ((triple10 ((((triple9) -> rule9)) -> rule4)) -> rule3) OR ((triple10 ((((((triple12) -> rule6)) -> rule9)) -> rule4)) -> rule3) OR ((triple10 ((((((((triple10) -> rule1)) -> rule6)) -> rule9)) -> rule4)) -> rule3))] Erin is round.[(triple12 OR ((triple10) -> rule1))] Gary is big.[(triple13 OR ((triple16) -> rule8))] Gary is blue.[(triple14 OR ((((triple15) -> rule9)) -> rule4) OR ((((((((triple16) -> rule1)) -> rule6)) -> rule9)) -> rule4))] Gary is green.[(triple15 OR ((((triple14) -> rule7)) -> rule5) OR ((((triple16) -> rule1)) -> rule6) OR ((((triple16 triple14) -> rule3)) -> rule5))] Gary is nice.[(triple16)] @1: Anne is big.[(((triple2) -> rule8))] Anne is blue.[(((triple1) -> rule4) OR ((triple3 ((triple4) -> rule6)) -> rule2) OR ((((((triple4) -> rule6)) -> rule9)) -> rule4) OR ((triple3 ((((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((((((triple2) -> rule1)) -> rule6)) -> rule9)) -> rule4))] Anne is green.[(((triple4) -> rule6) OR ((((triple2) -> rule1)) -> rule6))] Bob is big.[(((triple5) -> rule8))] Bob is round.[(((triple5) -> rule1))] Gary is cold.[(((triple15) -> rule9) OR ((((((triple14) -> rule7)) -> rule5)) -> rule9) OR ((((((triple16) -> rule1)) -> rule6)) -> rule9) OR ((((((triple16 triple14) -> rule3)) -> rule5)) -> rule9))] Gary is quiet.[(((triple14) -> rule7) OR ((triple16 triple14) -> rule3) OR ((((((triple15) -> rule9)) -> rule4)) -> rule7) OR ((triple16 ((((triple15) -> rule9)) -> rule4)) -> rule3) OR ((((((((((triple16) -> rule1)) -> rule6)) -> rule9)) -> rule4)) -> rule7) OR ((triple16 ((((((((triple16) -> rule1)) -> rule6)) -> rule9)) -> rule4)) -> rule3))] Gary is round.[(((triple16) -> rule1))] @2: Bob is green.[(((((triple5) -> rule1)) -> rule6))] @3: Bob is cold.[(((((((triple5) -> rule1)) -> rule6)) -> rule9))] @4: Bob is blue.[(((((((((triple5) -> rule1)) -> rule6)) -> rule9)) -> rule4))] @5: Bob is quiet.[(((triple5 ((((((((triple5) -> rule1)) -> rule6)) -> rule9)) -> rule4)) -> rule3))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
((((triple4) -> (rule6 % int2))) -> (rule9 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
((triple2 ((triple1) -> (rule4 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((triple2 ((((((triple4) -> (rule6 % int4))) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((triple2 ((((((((triple2) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is round.
("Anne" "is" "round" "+")
triple4
((triple2) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
triple5
Erin is big.
("Erin" "is" "big" "+")
triple6
((triple10) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
triple7
((triple8) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((triple11 triple9) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((((triple9) -> (rule9 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((triple11 ((triple12) -> (rule6 % int2))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((((triple12) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((triple11 ((((triple10) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((((((triple10) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
triple8
((triple9) -> (rule9 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((((triple12) -> (rule6 % int2))) -> (rule9 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((((triple10) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
triple9
((triple12) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((((triple10) -> (rule1 % int2))) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
triple10
Erin is quiet.
("Erin" "is" "quiet" "+")
triple11
((triple10 triple7) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((triple10 ((triple8) -> (rule4 % int2))) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((triple10 ((((triple9) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((triple10 ((((((triple12) -> (rule6 % int4))) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((triple10 ((((((((triple10) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
Erin is round.
("Erin" "is" "round" "+")
triple12
((triple10) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
triple13
((triple16) -> (rule8 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
triple14
((((triple15) -> (rule9 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((((((((triple16) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
triple15
((((triple14) -> (rule7 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple16) -> (rule1 % int2))) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((triple16 triple14) -> (rule3 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
triple16
Anne is big.
("Anne" "is" "big" "+")
((triple2) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
((triple1) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((triple3 ((triple4) -> (rule6 % int2))) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((((triple4) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((triple3 ((((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((((triple2) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
((triple4) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((((triple2) -> (rule1 % int2))) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
((triple5) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((triple5) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple15) -> (rule9 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((((((triple14) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((((triple16) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((((triple16 triple14) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple14) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((triple16 triple14) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((((((triple15) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((triple16 ((((triple15) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((((((((triple16) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
((triple16 ((((((((triple16) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Gary is round.
("Gary" "is" "round" "+")
((triple16) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
((((triple5) -> (rule1 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
((((((triple5) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
((((((((triple5) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
((triple5 ((((((((triple5) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5