Anne is blue. Anne is quiet. Anne is red. Anne is young. Charlie is red. Erin is cold. Erin is red. Erin is smart. Fiona is quiet. Fiona is red. If someone is cold then they are quiet. Red, cold people are furry. If someone is red then they are cold. If Erin is young and Erin is red then Erin is cold. Blue people are quiet. If someone is red then they are young. Cold, red people are furry. If someone is furry and red then they are blue.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
If someone is cold then they are quiet.
((("someone" "is" "cold" "+")) -> ("someone" "is" "quiet" "+"))
Red, cold people are furry.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
If someone is red then they are cold.
((("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If Erin is young and Erin is red then Erin is cold.
((("Erin" "is" "young" "+") ("Erin" "is" "red" "+")) -> ("Erin" "is" "cold" "+"))
Blue people are quiet.
((("someone" "is" "blue" "+")) -> ("someone" "is" "quiet" "+"))
If someone is red then they are young.
((("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
Cold, red people are furry.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
If someone is furry and red then they are blue.
((("someone" "is" "furry" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
Fiona is red.
True
1
proof
[(triple10)]
("Fiona" "is" "red" "+")
triple10
Anne is not red.
False
1
inv-proof
[(triple3)]
("Anne" "is" "red" "-")
triple3
Charlie is cold.
True
2
proof
[(((triple5) -> rule3))]
("Charlie" "is" "cold" "+")
((triple5) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Fiona is not young.
False
2
inv-proof
[(((triple10) -> rule6))]
("Fiona" "is" "young" "-")
((triple10) -> (rule6 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is furry.
True
4
proof
[(((triple10 ((triple10) -> rule3)) -> rule2) OR ((((triple10) -> rule3) triple10) -> rule7))]
("Fiona" "is" "furry" "+")
((triple10 ((triple10) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((triple10) -> (rule3 % int2)) triple10) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Charlie is not quiet.
False
3
inv-proof
[(((((triple5) -> rule3)) -> rule1) OR ((((((triple5 ((triple5) -> rule3)) -> rule2) triple5) -> rule8)) -> rule5) OR ((((((((triple5) -> rule3) triple5) -> rule7) triple5) -> rule8)) -> rule5))]
("Charlie" "is" "quiet" "-")
((((triple5) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((((((triple5 ((triple5) -> (rule3 % int4))) -> (rule2 % int3)) triple5) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((((((triple5) -> (rule3 % int4)) triple5) -> (rule7 % int3)) triple5) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Fiona is blue.
True
6
proof
[(((((triple10 ((triple10) -> rule3)) -> rule2) triple10) -> rule8) OR ((((((triple10) -> rule3) triple10) -> rule7) triple10) -> rule8))]
("Fiona" "is" "blue" "+")
((((triple10 ((triple10) -> (rule3 % int3))) -> (rule2 % int2)) triple10) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((((triple10) -> (rule3 % int3)) triple10) -> (rule7 % int2)) triple10) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is not blue.
False
6
inv-proof
[(((((triple10 ((triple10) -> rule3)) -> rule2) triple10) -> rule8) OR ((((((triple10) -> rule3) triple10) -> rule7) triple10) -> rule8))]
("Fiona" "is" "blue" "-")
((((triple10 ((triple10) -> (rule3 % int3))) -> (rule2 % int2)) triple10) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((((triple10) -> (rule3 % int3)) triple10) -> (rule7 % int2)) triple10) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is not smart.
Unknown
inv-random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "-")
Charlie is smart.
Unknown
random
[@0: Charlie is smart.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "smart" "+")
@0: Anne is blue.[(triple1 OR ((((triple3 ((triple3) -> rule3)) -> rule2) triple3) -> rule8) OR ((((((triple3) -> rule3) triple3) -> rule7) triple3) -> rule8))] Anne is quiet.[(triple2 OR ((triple1) -> rule5) OR ((((triple3) -> rule3)) -> rule1) OR ((((((triple3 ((triple3) -> rule3)) -> rule2) triple3) -> rule8)) -> rule5) OR ((((((((triple3) -> rule3) triple3) -> rule7) triple3) -> rule8)) -> rule5))] Anne is red.[(triple3)] Anne is young.[(triple4 OR ((triple3) -> rule6))] Charlie is red.[(triple5)] Erin is cold.[(triple6 OR ((triple7) -> rule3) OR ((((triple7) -> rule6) triple7) -> rule4))] Erin is red.[(triple7)] Erin is smart.[(triple8)] Fiona is quiet.[(triple9 OR ((((triple10) -> rule3)) -> rule1) OR ((((((triple10 ((triple10) -> rule3)) -> rule2) triple10) -> rule8)) -> rule5) OR ((((((((triple10) -> rule3) triple10) -> rule7) triple10) -> rule8)) -> rule5))] Fiona is red.[(triple10)] @1: Anne is cold.[(((triple3) -> rule3))] Charlie is cold.[(((triple5) -> rule3))] Charlie is young.[(((triple5) -> rule6))] Erin is furry.[(((triple6 triple7) -> rule7) OR ((triple7 triple6) -> rule2) OR ((triple7 ((triple7) -> rule3)) -> rule2) OR ((((triple7) -> rule3) triple7) -> rule7) OR ((triple7 ((((triple7) -> rule6) triple7) -> rule4)) -> rule2) OR ((((((triple7) -> rule6) triple7) -> rule4) triple7) -> rule7))] Erin is quiet.[(((triple6) -> rule1) OR ((((triple7) -> rule3)) -> rule1) OR ((((((triple7) -> rule6) triple7) -> rule4)) -> rule1) OR ((((((triple6 triple7) -> rule7) triple7) -> rule8)) -> rule5) OR ((((((triple7 triple6) -> rule2) triple7) -> rule8)) -> rule5) OR ((((((triple7 ((triple7) -> rule3)) -> rule2) triple7) -> rule8)) -> rule5) OR ((((((((triple7) -> rule3) triple7) -> rule7) triple7) -> rule8)) -> rule5) OR ((((((triple7 ((((triple7) -> rule6) triple7) -> rule4)) -> rule2) triple7) -> rule8)) -> rule5) OR ((((((((((triple7) -> rule6) triple7) -> rule4) triple7) -> rule7) triple7) -> rule8)) -> rule5))] Erin is young.[(((triple7) -> rule6))] Fiona is cold.[(((triple10) -> rule3))] Fiona is young.[(((triple10) -> rule6))] @2: Anne is furry.[(((triple3 ((triple3) -> rule3)) -> rule2) OR ((((triple3) -> rule3) triple3) -> rule7))] Charlie is furry.[(((triple5 ((triple5) -> rule3)) -> rule2) OR ((((triple5) -> rule3) triple5) -> rule7))] Charlie is quiet.[(((((triple5) -> rule3)) -> rule1) OR ((((((triple5 ((triple5) -> rule3)) -> rule2) triple5) -> rule8)) -> rule5) OR ((((((((triple5) -> rule3) triple5) -> rule7) triple5) -> rule8)) -> rule5))] Erin is blue.[(((((triple6 triple7) -> rule7) triple7) -> rule8) OR ((((triple7 triple6) -> rule2) triple7) -> rule8) OR ((((triple7 ((triple7) -> rule3)) -> rule2) triple7) -> rule8) OR ((((((triple7) -> rule3) triple7) -> rule7) triple7) -> rule8) OR ((((triple7 ((((triple7) -> rule6) triple7) -> rule4)) -> rule2) triple7) -> rule8) OR ((((((((triple7) -> rule6) triple7) -> rule4) triple7) -> rule7) triple7) -> rule8))] Fiona is furry.[(((triple10 ((triple10) -> rule3)) -> rule2) OR ((((triple10) -> rule3) triple10) -> rule7))] @3: Charlie is blue.[(((((triple5 ((triple5) -> rule3)) -> rule2) triple5) -> rule8) OR ((((((triple5) -> rule3) triple5) -> rule7) triple5) -> rule8))] Fiona is blue.[(((((triple10 ((triple10) -> rule3)) -> rule2) triple10) -> rule8) OR ((((((triple10) -> rule3) triple10) -> rule7) triple10) -> rule8))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
((((triple3 ((triple3) -> (rule3 % int3))) -> (rule2 % int2)) triple3) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((((triple3) -> (rule3 % int3)) triple3) -> (rule7 % int2)) triple3) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
((triple1) -> (rule5 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
((((triple3) -> (rule3 % int2))) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((((triple3 ((triple3) -> (rule3 % int4))) -> (rule2 % int3)) triple3) -> (rule8 % int2))) -> (rule5 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((((((triple3) -> (rule3 % int4)) triple3) -> (rule7 % int3)) triple3) -> (rule8 % int2))) -> (rule5 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
((triple3) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
triple5
Erin is cold.
("Erin" "is" "cold" "+")
triple6
((triple7) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((((triple7) -> (rule6 % int2)) triple7) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
triple7
Erin is smart.
("Erin" "is" "smart" "+")
triple8
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple9
((((triple10) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((((triple10 ((triple10) -> (rule3 % int4))) -> (rule2 % int3)) triple10) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((((((triple10) -> (rule3 % int4)) triple10) -> (rule7 % int3)) triple10) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
triple10
Anne is cold.
("Anne" "is" "cold" "+")
((triple3) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple5) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple5) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((triple6 triple7) -> (rule7 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((triple7 triple6) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((triple7 ((triple7) -> (rule3 % int2))) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((triple7) -> (rule3 % int2)) triple7) -> (rule7 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((triple7 ((((triple7) -> (rule6 % int3)) triple7) -> (rule4 % int2))) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((((triple7) -> (rule6 % int3)) triple7) -> (rule4 % int2)) triple7) -> (rule7 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple6) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((((triple7) -> (rule3 % int2))) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((((triple7) -> (rule6 % int3)) triple7) -> (rule4 % int2))) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((((triple6 triple7) -> (rule7 % int3)) triple7) -> (rule8 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((((triple7 triple6) -> (rule2 % int3)) triple7) -> (rule8 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((((triple7 ((triple7) -> (rule3 % int4))) -> (rule2 % int3)) triple7) -> (rule8 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((((((triple7) -> (rule3 % int4)) triple7) -> (rule7 % int3)) triple7) -> (rule8 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((((triple7 ((((triple7) -> (rule6 % int5)) triple7) -> (rule4 % int4))) -> (rule2 % int3)) triple7) -> (rule8 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((((((triple7) -> (rule6 % int5)) triple7) -> (rule4 % int4)) triple7) -> (rule7 % int3)) triple7) -> (rule8 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
((triple7) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple10) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple10) -> (rule6 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
((triple3 ((triple3) -> (rule3 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((triple3) -> (rule3 % int2)) triple3) -> (rule7 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple5 ((triple5) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((((triple5) -> (rule3 % int2)) triple5) -> (rule7 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((((triple5) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((((((triple5 ((triple5) -> (rule3 % int4))) -> (rule2 % int3)) triple5) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((((((triple5) -> (rule3 % int4)) triple5) -> (rule7 % int3)) triple5) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
((((triple6 triple7) -> (rule7 % int2)) triple7) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((((triple7 triple6) -> (rule2 % int2)) triple7) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((((triple7 ((triple7) -> (rule3 % int3))) -> (rule2 % int2)) triple7) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple7) -> (rule3 % int3)) triple7) -> (rule7 % int2)) triple7) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((triple7 ((((triple7) -> (rule6 % int4)) triple7) -> (rule4 % int3))) -> (rule2 % int2)) triple7) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((((triple7) -> (rule6 % int4)) triple7) -> (rule4 % int3)) triple7) -> (rule7 % int2)) triple7) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple10 ((triple10) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((triple10) -> (rule3 % int2)) triple10) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
((((triple5 ((triple5) -> (rule3 % int3))) -> (rule2 % int2)) triple5) -> (rule8 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((((triple5) -> (rule3 % int3)) triple5) -> (rule7 % int2)) triple5) -> (rule8 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
((((triple10 ((triple10) -> (rule3 % int3))) -> (rule2 % int2)) triple10) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((((triple10) -> (rule3 % int3)) triple10) -> (rule7 % int2)) triple10) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3