Anne is cold. Anne is furry. Anne is rough. Anne is smart. Charlie is cold. Charlie is rough. Dave is blue. Dave is rough. Erin is green. Erin is white. All furry things are blue. Smart, rough things are blue. If something is green then it is rough. If something is rough and cold then it is green. All cold, rough things are green. If something is cold and green then it is furry. Rough things are cold. Blue, rough things are smart.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is white.
("Erin" "is" "white" "+")
All furry things are blue.
((("something" "is" "furry" "+")) -> ("something" "is" "blue" "+"))
Smart, rough things are blue.
((("something" "is" "smart" "+") ("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
If something is green then it is rough.
((("something" "is" "green" "+")) -> ("something" "is" "rough" "+"))
If something is rough and cold then it is green.
((("something" "is" "rough" "+") ("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
All cold, rough things are green.
((("something" "is" "cold" "+") ("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
If something is cold and green then it is furry.
((("something" "is" "cold" "+") ("something" "is" "green" "+")) -> ("something" "is" "furry" "+"))
Rough things are cold.
((("something" "is" "rough" "+")) -> ("something" "is" "cold" "+"))
Blue, rough things are smart.
((("something" "is" "blue" "+") ("something" "is" "rough" "+")) -> ("something" "is" "smart" "+"))
Anne is furry.
True
1
proof
[(triple2 OR ((triple1 ((triple1 triple3) -> rule5)) -> rule6) OR ((triple1 ((triple3 triple1) -> rule4)) -> rule6) OR ((((triple3) -> rule7) ((triple1 triple3) -> rule5)) -> rule6) OR ((((triple3) -> rule7) ((triple3 triple1) -> rule4)) -> rule6) OR ((triple1 ((triple3 ((triple3) -> rule7)) -> rule4)) -> rule6) OR ((triple1 ((((triple3) -> rule7) triple3) -> rule5)) -> rule6) OR ((((triple3) -> rule7) ((triple3 ((triple3) -> rule7)) -> rule4)) -> rule6) OR ((((triple3) -> rule7) ((((triple3) -> rule7) triple3) -> rule5)) -> rule6))]
("Anne" "is" "furry" "+")
triple2
((triple1 ((triple1 triple3) -> (rule5 % int2))) -> (rule6 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((triple1 ((triple3 triple1) -> (rule4 % int2))) -> (rule6 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((triple3) -> (rule7 % int3)) ((triple1 triple3) -> (rule5 % int2))) -> (rule6 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((triple3) -> (rule7 % int3)) ((triple3 triple1) -> (rule4 % int2))) -> (rule6 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((triple1 ((triple3 ((triple3) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((triple1 ((((triple3) -> (rule7 % int3)) triple3) -> (rule5 % int2))) -> (rule6 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((triple3) -> (rule7 % int3)) ((triple3 ((triple3) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((triple3) -> (rule7 % int3)) ((((triple3) -> (rule7 % int3)) triple3) -> (rule5 % int2))) -> (rule6 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is not cold.
False
1
inv-proof
[(triple1 OR ((triple3) -> rule7))]
("Anne" "is" "cold" "-")
triple1
((triple3) -> (rule7 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Dave is smart.
True
3
proof
[(((triple7 triple8) -> rule8) OR ((((((((triple8) -> rule7) ((triple8 ((triple8) -> rule7)) -> rule4)) -> rule6)) -> rule1) triple8) -> rule8) OR ((((((((triple8) -> rule7) ((((triple8) -> rule7) triple8) -> rule5)) -> rule6)) -> rule1) triple8) -> rule8))]
("Dave" "is" "smart" "+")
((triple7 triple8) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((((((((triple8) -> (rule7 % int5)) ((triple8 ((triple8) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple8) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((((((triple8) -> (rule7 % int5)) ((((triple8) -> (rule7 % int5)) triple8) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple8) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is not smart.
False
3
inv-proof
[(((triple7 triple8) -> rule8) OR ((((((((triple8) -> rule7) ((triple8 ((triple8) -> rule7)) -> rule4)) -> rule6)) -> rule1) triple8) -> rule8) OR ((((((((triple8) -> rule7) ((((triple8) -> rule7) triple8) -> rule5)) -> rule6)) -> rule1) triple8) -> rule8))]
("Dave" "is" "smart" "-")
((triple7 triple8) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((((((((triple8) -> (rule7 % int5)) ((triple8 ((triple8) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple8) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((((((triple8) -> (rule7 % int5)) ((((triple8) -> (rule7 % int5)) triple8) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple8) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Erin is cold.
True
3
proof
[(((((triple9) -> rule3)) -> rule7))]
("Erin" "is" "cold" "+")
((((triple9) -> (rule3 % int2))) -> (rule7 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is not cold.
False
3
inv-proof
[(((((triple9) -> rule3)) -> rule7))]
("Erin" "is" "cold" "-")
((((triple9) -> (rule3 % int2))) -> (rule7 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is furry.
True
5
proof
[(((((((triple9) -> rule3)) -> rule7) triple9) -> rule6))]
("Erin" "is" "furry" "+")
((((((triple9) -> (rule3 % int3))) -> (rule7 % int2)) triple9) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Dave is not furry.
False
7
inv-proof
[(((((triple8) -> rule7) ((triple8 ((triple8) -> rule7)) -> rule4)) -> rule6) OR ((((triple8) -> rule7) ((((triple8) -> rule7) triple8) -> rule5)) -> rule6))]
("Dave" "is" "furry" "-")
((((triple8) -> (rule7 % int3)) ((triple8 ((triple8) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((((triple8) -> (rule7 % int3)) ((((triple8) -> (rule7 % int3)) triple8) -> (rule5 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Charlie is smart.
True
8
proof
[(((((((triple5 ((triple5 triple6) -> rule5)) -> rule6)) -> rule1) triple6) -> rule8) OR ((((((triple5 ((triple6 triple5) -> rule4)) -> rule6)) -> rule1) triple6) -> rule8) OR ((((((((triple6) -> rule7) ((triple5 triple6) -> rule5)) -> rule6)) -> rule1) triple6) -> rule8) OR ((((((((triple6) -> rule7) ((triple6 triple5) -> rule4)) -> rule6)) -> rule1) triple6) -> rule8) OR ((((((triple5 ((triple6 ((triple6) -> rule7)) -> rule4)) -> rule6)) -> rule1) triple6) -> rule8) OR ((((((triple5 ((((triple6) -> rule7) triple6) -> rule5)) -> rule6)) -> rule1) triple6) -> rule8) OR ((((((((triple6) -> rule7) ((triple6 ((triple6) -> rule7)) -> rule4)) -> rule6)) -> rule1) triple6) -> rule8) OR ((((((((triple6) -> rule7) ((((triple6) -> rule7) triple6) -> rule5)) -> rule6)) -> rule1) triple6) -> rule8))]
("Charlie" "is" "smart" "+")
((((((triple5 ((triple5 triple6) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple6) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((((triple5 ((triple6 triple5) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple6) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((((((triple6) -> (rule7 % int5)) ((triple5 triple6) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple6) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((((((triple6) -> (rule7 % int5)) ((triple6 triple5) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple6) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((((triple5 ((triple6 ((triple6) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple6) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((((triple5 ((((triple6) -> (rule7 % int5)) triple6) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple6) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((((((triple6) -> (rule7 % int5)) ((triple6 ((triple6) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple6) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((((((triple6) -> (rule7 % int5)) ((((triple6) -> (rule7 % int5)) triple6) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple6) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
Erin is not blue.
False
6
inv-proof
[(((((((((triple9) -> rule3)) -> rule7) triple9) -> rule6)) -> rule1))]
("Erin" "is" "blue" "-")
((((((((triple9) -> (rule3 % int4))) -> (rule7 % int3)) triple9) -> (rule6 % int2))) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is smart.
True
9
proof
[(((((((((((triple9) -> rule3)) -> rule7) triple9) -> rule6)) -> rule1) ((triple9) -> rule3)) -> rule8))]
("Erin" "is" "smart" "+")
((((((((((triple9) -> (rule3 % int5))) -> (rule7 % int4)) triple9) -> (rule6 % int3))) -> (rule1 % int2)) ((triple9) -> (rule3 % int5))) -> (rule8 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
Erin is not smart.
False
9
inv-proof
[(((((((((((triple9) -> rule3)) -> rule7) triple9) -> rule6)) -> rule1) ((triple9) -> rule3)) -> rule8))]
("Erin" "is" "smart" "-")
((((((((((triple9) -> (rule3 % int5))) -> (rule7 % int4)) triple9) -> (rule6 % int3))) -> (rule1 % int2)) ((triple9) -> (rule3 % int5))) -> (rule8 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
Dave is not white.
Unknown
inv-random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
@0: Anne is cold.[(triple1 OR ((triple3) -> rule7))] Anne is furry.[(triple2 OR ((triple1 ((triple1 triple3) -> rule5)) -> rule6) OR ((triple1 ((triple3 triple1) -> rule4)) -> rule6) OR ((((triple3) -> rule7) ((triple1 triple3) -> rule5)) -> rule6) OR ((((triple3) -> rule7) ((triple3 triple1) -> rule4)) -> rule6) OR ((triple1 ((triple3 ((triple3) -> rule7)) -> rule4)) -> rule6) OR ((triple1 ((((triple3) -> rule7) triple3) -> rule5)) -> rule6) OR ((((triple3) -> rule7) ((triple3 ((triple3) -> rule7)) -> rule4)) -> rule6) OR ((((triple3) -> rule7) ((((triple3) -> rule7) triple3) -> rule5)) -> rule6))] Anne is rough.[(triple3)] Anne is smart.[(triple4 OR ((((triple2) -> rule1) triple3) -> rule8) OR ((((((triple1 ((triple1 triple3) -> rule5)) -> rule6)) -> rule1) triple3) -> rule8) OR ((((((triple1 ((triple3 triple1) -> rule4)) -> rule6)) -> rule1) triple3) -> rule8) OR ((((((((triple3) -> rule7) ((triple1 triple3) -> rule5)) -> rule6)) -> rule1) triple3) -> rule8) OR ((((((((triple3) -> rule7) ((triple3 triple1) -> rule4)) -> rule6)) -> rule1) triple3) -> rule8) OR ((((((triple1 ((triple3 ((triple3) -> rule7)) -> rule4)) -> rule6)) -> rule1) triple3) -> rule8) OR ((((((triple1 ((((triple3) -> rule7) triple3) -> rule5)) -> rule6)) -> rule1) triple3) -> rule8) OR ((((((((triple3) -> rule7) ((triple3 ((triple3) -> rule7)) -> rule4)) -> rule6)) -> rule1) triple3) -> rule8) OR ((((((((triple3) -> rule7) ((((triple3) -> rule7) triple3) -> rule5)) -> rule6)) -> rule1) triple3) -> rule8))] Charlie is cold.[(triple5 OR ((triple6) -> rule7))] Charlie is rough.[(triple6)] Dave is blue.[(triple7 OR ((((((triple8) -> rule7) ((triple8 ((triple8) -> rule7)) -> rule4)) -> rule6)) -> rule1) OR ((((((triple8) -> rule7) ((((triple8) -> rule7) triple8) -> rule5)) -> rule6)) -> rule1))] Dave is rough.[(triple8)] Erin is green.[(triple9)] Erin is white.[(triple10)] @1: Anne is blue.[(((triple2) -> rule1) OR ((triple4 triple3) -> rule2) OR ((((triple1 ((triple1 triple3) -> rule5)) -> rule6)) -> rule1) OR ((((triple1 ((triple3 triple1) -> rule4)) -> rule6)) -> rule1) OR ((((((triple3) -> rule7) ((triple1 triple3) -> rule5)) -> rule6)) -> rule1) OR ((((((triple3) -> rule7) ((triple3 triple1) -> rule4)) -> rule6)) -> rule1) OR ((((triple1 ((triple3 ((triple3) -> rule7)) -> rule4)) -> rule6)) -> rule1) OR ((((triple1 ((((triple3) -> rule7) triple3) -> rule5)) -> rule6)) -> rule1) OR ((((((triple3) -> rule7) ((triple3 ((triple3) -> rule7)) -> rule4)) -> rule6)) -> rule1) OR ((((((triple3) -> rule7) ((((triple3) -> rule7) triple3) -> rule5)) -> rule6)) -> rule1))] Anne is green.[(((triple1 triple3) -> rule5) OR ((triple3 triple1) -> rule4) OR ((triple3 ((triple3) -> rule7)) -> rule4) OR ((((triple3) -> rule7) triple3) -> rule5))] Charlie is green.[(((triple5 triple6) -> rule5) OR ((triple6 triple5) -> rule4) OR ((triple6 ((triple6) -> rule7)) -> rule4) OR ((((triple6) -> rule7) triple6) -> rule5))] Dave is cold.[(((triple8) -> rule7))] Dave is smart.[(((triple7 triple8) -> rule8) OR ((((((((triple8) -> rule7) ((triple8 ((triple8) -> rule7)) -> rule4)) -> rule6)) -> rule1) triple8) -> rule8) OR ((((((((triple8) -> rule7) ((((triple8) -> rule7) triple8) -> rule5)) -> rule6)) -> rule1) triple8) -> rule8))] Erin is rough.[(((triple9) -> rule3))] @2: Charlie is furry.[(((triple5 ((triple5 triple6) -> rule5)) -> rule6) OR ((triple5 ((triple6 triple5) -> rule4)) -> rule6) OR ((((triple6) -> rule7) ((triple5 triple6) -> rule5)) -> rule6) OR ((((triple6) -> rule7) ((triple6 triple5) -> rule4)) -> rule6) OR ((triple5 ((triple6 ((triple6) -> rule7)) -> rule4)) -> rule6) OR ((triple5 ((((triple6) -> rule7) triple6) -> rule5)) -> rule6) OR ((((triple6) -> rule7) ((triple6 ((triple6) -> rule7)) -> rule4)) -> rule6) OR ((((triple6) -> rule7) ((((triple6) -> rule7) triple6) -> rule5)) -> rule6))] Dave is green.[(((triple8 ((triple8) -> rule7)) -> rule4) OR ((((triple8) -> rule7) triple8) -> rule5))] Erin is cold.[(((((triple9) -> rule3)) -> rule7))] @3: Charlie is blue.[(((((triple5 ((triple5 triple6) -> rule5)) -> rule6)) -> rule1) OR ((((triple5 ((triple6 triple5) -> rule4)) -> rule6)) -> rule1) OR ((((((triple6) -> rule7) ((triple5 triple6) -> rule5)) -> rule6)) -> rule1) OR ((((((triple6) -> rule7) ((triple6 triple5) -> rule4)) -> rule6)) -> rule1) OR ((((triple5 ((triple6 ((triple6) -> rule7)) -> rule4)) -> rule6)) -> rule1) OR ((((triple5 ((((triple6) -> rule7) triple6) -> rule5)) -> rule6)) -> rule1) OR ((((((triple6) -> rule7) ((triple6 ((triple6) -> rule7)) -> rule4)) -> rule6)) -> rule1) OR ((((((triple6) -> rule7) ((((triple6) -> rule7) triple6) -> rule5)) -> rule6)) -> rule1))] Dave is furry.[(((((triple8) -> rule7) ((triple8 ((triple8) -> rule7)) -> rule4)) -> rule6) OR ((((triple8) -> rule7) ((((triple8) -> rule7) triple8) -> rule5)) -> rule6))] Erin is furry.[(((((((triple9) -> rule3)) -> rule7) triple9) -> rule6))] @4: Charlie is smart.[(((((((triple5 ((triple5 triple6) -> rule5)) -> rule6)) -> rule1) triple6) -> rule8) OR ((((((triple5 ((triple6 triple5) -> rule4)) -> rule6)) -> rule1) triple6) -> rule8) OR ((((((((triple6) -> rule7) ((triple5 triple6) -> rule5)) -> rule6)) -> rule1) triple6) -> rule8) OR ((((((((triple6) -> rule7) ((triple6 triple5) -> rule4)) -> rule6)) -> rule1) triple6) -> rule8) OR ((((((triple5 ((triple6 ((triple6) -> rule7)) -> rule4)) -> rule6)) -> rule1) triple6) -> rule8) OR ((((((triple5 ((((triple6) -> rule7) triple6) -> rule5)) -> rule6)) -> rule1) triple6) -> rule8) OR ((((((((triple6) -> rule7) ((triple6 ((triple6) -> rule7)) -> rule4)) -> rule6)) -> rule1) triple6) -> rule8) OR ((((((((triple6) -> rule7) ((((triple6) -> rule7) triple6) -> rule5)) -> rule6)) -> rule1) triple6) -> rule8))] Erin is blue.[(((((((((triple9) -> rule3)) -> rule7) triple9) -> rule6)) -> rule1))] @5: Erin is smart.[(((((((((((triple9) -> rule3)) -> rule7) triple9) -> rule6)) -> rule1) ((triple9) -> rule3)) -> rule8))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
((triple3) -> (rule7 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
((triple1 ((triple1 triple3) -> (rule5 % int2))) -> (rule6 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((triple1 ((triple3 triple1) -> (rule4 % int2))) -> (rule6 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((triple3) -> (rule7 % int3)) ((triple1 triple3) -> (rule5 % int2))) -> (rule6 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((triple3) -> (rule7 % int3)) ((triple3 triple1) -> (rule4 % int2))) -> (rule6 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((triple1 ((triple3 ((triple3) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((triple1 ((((triple3) -> (rule7 % int3)) triple3) -> (rule5 % int2))) -> (rule6 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((triple3) -> (rule7 % int3)) ((triple3 ((triple3) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((triple3) -> (rule7 % int3)) ((((triple3) -> (rule7 % int3)) triple3) -> (rule5 % int2))) -> (rule6 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Anne is smart.
("Anne" "is" "smart" "+")
triple4
((((triple2) -> (rule1 % int2)) triple3) -> (rule8 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((((triple1 ((triple1 triple3) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple3) -> (rule8 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((triple1 ((triple3 triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple3) -> (rule8 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((((triple3) -> (rule7 % int5)) ((triple1 triple3) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple3) -> (rule8 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((((((((triple3) -> (rule7 % int5)) ((triple3 triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple3) -> (rule8 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((((((triple1 ((triple3 ((triple3) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple3) -> (rule8 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((((((triple1 ((((triple3) -> (rule7 % int5)) triple3) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple3) -> (rule8 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((((((((triple3) -> (rule7 % int5)) ((triple3 ((triple3) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple3) -> (rule8 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((((((((triple3) -> (rule7 % int5)) ((((triple3) -> (rule7 % int5)) triple3) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple3) -> (rule8 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
((triple6) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple6
Dave is blue.
("Dave" "is" "blue" "+")
triple7
((((((triple8) -> (rule7 % int4)) ((triple8 ((triple8) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((((triple8) -> (rule7 % int4)) ((((triple8) -> (rule7 % int4)) triple8) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
triple8
Erin is green.
("Erin" "is" "green" "+")
triple9
Erin is white.
("Erin" "is" "white" "+")
triple10
Anne is blue.
("Anne" "is" "blue" "+")
((triple2) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((triple4 triple3) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((((triple1 ((triple1 triple3) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple1 ((triple3 triple1) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((((triple3) -> (rule7 % int4)) ((triple1 triple3) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((((triple3) -> (rule7 % int4)) ((triple3 triple1) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((triple1 ((triple3 ((triple3) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((triple1 ((((triple3) -> (rule7 % int4)) triple3) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((((triple3) -> (rule7 % int4)) ((triple3 ((triple3) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((((triple3) -> (rule7 % int4)) ((((triple3) -> (rule7 % int4)) triple3) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
((triple1 triple3) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((triple3 triple1) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((triple3 ((triple3) -> (rule7 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((triple3) -> (rule7 % int2)) triple3) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
((triple5 triple6) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((triple6 triple5) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((triple6 ((triple6) -> (rule7 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((((triple6) -> (rule7 % int2)) triple6) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
((triple8) -> (rule7 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
((triple7 triple8) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((((((((triple8) -> (rule7 % int5)) ((triple8 ((triple8) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple8) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((((((triple8) -> (rule7 % int5)) ((((triple8) -> (rule7 % int5)) triple8) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple8) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Erin is rough.
("Erin" "is" "rough" "+")
((triple9) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple5 ((triple5 triple6) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
((triple5 ((triple6 triple5) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
((((triple6) -> (rule7 % int3)) ((triple5 triple6) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((triple6) -> (rule7 % int3)) ((triple6 triple5) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((triple5 ((triple6 ((triple6) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((triple5 ((((triple6) -> (rule7 % int3)) triple6) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((triple6) -> (rule7 % int3)) ((triple6 ((triple6) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((triple6) -> (rule7 % int3)) ((((triple6) -> (rule7 % int3)) triple6) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
((triple8 ((triple8) -> (rule7 % int2))) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
((((triple8) -> (rule7 % int2)) triple8) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
((((triple9) -> (rule3 % int2))) -> (rule7 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
((((triple5 ((triple5 triple6) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple5 ((triple6 triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((((triple6) -> (rule7 % int4)) ((triple5 triple6) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((((triple6) -> (rule7 % int4)) ((triple6 triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((triple5 ((triple6 ((triple6) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((triple5 ((((triple6) -> (rule7 % int4)) triple6) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((((triple6) -> (rule7 % int4)) ((triple6 ((triple6) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((((triple6) -> (rule7 % int4)) ((((triple6) -> (rule7 % int4)) triple6) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
((((triple8) -> (rule7 % int3)) ((triple8 ((triple8) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((((triple8) -> (rule7 % int3)) ((((triple8) -> (rule7 % int3)) triple8) -> (rule5 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
((((((triple9) -> (rule3 % int3))) -> (rule7 % int2)) triple9) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
((((((triple5 ((triple5 triple6) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple6) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((((triple5 ((triple6 triple5) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple6) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((((((triple6) -> (rule7 % int5)) ((triple5 triple6) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple6) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((((((triple6) -> (rule7 % int5)) ((triple6 triple5) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple6) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((((triple5 ((triple6 ((triple6) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple6) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((((triple5 ((((triple6) -> (rule7 % int5)) triple6) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple6) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((((((triple6) -> (rule7 % int5)) ((triple6 ((triple6) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple6) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((((((triple6) -> (rule7 % int5)) ((((triple6) -> (rule7 % int5)) triple6) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple6) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
Erin is blue.
("Erin" "is" "blue" "+")
((((((((triple9) -> (rule3 % int4))) -> (rule7 % int3)) triple9) -> (rule6 % int2))) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
((((((((((triple9) -> (rule3 % int5))) -> (rule7 % int4)) triple9) -> (rule6 % int3))) -> (rule1 % int2)) ((triple9) -> (rule3 % int5))) -> (rule8 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5