Anne is cold. Anne is quiet. Anne is young. Charlie is furry. Charlie is red. Charlie is smart. Dave is blue. Dave is cold. Erin is blue. Erin is cold. Erin is furry. Erin is quiet. Erin is red. Erin is smart. If something is smart then it is red. Cold, blue things are young. If something is red and blue then it is quiet. Cold, quiet things are blue. All furry things are red. All blue, red things are smart. If Erin is smart and Erin is blue then Erin is cold. If something is quiet then it is furry. Young things are smart.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is smart.
("Erin" "is" "smart" "+")
If something is smart then it is red.
((("something" "is" "smart" "+")) -> ("something" "is" "red" "+"))
Cold, blue things are young.
((("something" "is" "cold" "+") ("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
If something is red and blue then it is quiet.
((("something" "is" "red" "+") ("something" "is" "blue" "+")) -> ("something" "is" "quiet" "+"))
Cold, quiet things are blue.
((("something" "is" "cold" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "blue" "+"))
All furry things are red.
((("something" "is" "furry" "+")) -> ("something" "is" "red" "+"))
All blue, red things are smart.
((("something" "is" "blue" "+") ("something" "is" "red" "+")) -> ("something" "is" "smart" "+"))
If Erin is smart and Erin is blue then Erin is cold.
((("Erin" "is" "smart" "+") ("Erin" "is" "blue" "+")) -> ("Erin" "is" "cold" "+"))
If something is quiet then it is furry.
((("something" "is" "quiet" "+")) -> ("something" "is" "furry" "+"))
Young things are smart.
((("something" "is" "young" "+")) -> ("something" "is" "smart" "+"))
Anne is young.
True
1
proof
[(triple3 OR ((triple1 ((triple1 triple2) -> rule4)) -> rule2))]
("Anne" "is" "young" "+")
triple3
((triple1 ((triple1 triple2) -> (rule4 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Erin is not furry.
False
1
inv-proof
[(triple11 OR ((triple12) -> rule8) OR ((((triple13 triple9) -> rule3)) -> rule8) OR ((((((triple14) -> rule1) triple9) -> rule3)) -> rule8) OR ((((((((((triple10 triple9) -> rule2)) -> rule9)) -> rule1) triple9) -> rule3)) -> rule8))]
("Erin" "is" "furry" "-")
triple11
((triple12) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((triple13 triple9) -> (rule3 % int2))) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((((triple14) -> (rule1 % int3)) triple9) -> (rule3 % int2))) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((((((triple10 triple9) -> (rule2 % int5))) -> (rule9 % int4))) -> (rule1 % int3)) triple9) -> (rule3 % int2))) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Anne is smart.
True
2
proof
[(((triple3) -> rule9) OR ((((triple1 ((triple1 triple2) -> rule4)) -> rule2)) -> rule9) OR ((((triple1 triple2) -> rule4) ((((triple2) -> rule8)) -> rule5)) -> rule6))]
("Anne" "is" "smart" "+")
((triple3) -> (rule9 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((((triple1 ((triple1 triple2) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((triple1 triple2) -> (rule4 % int4)) ((((triple2) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is not blue.
False
3
inv-proof
[(((triple1 triple2) -> rule4))]
("Anne" "is" "blue" "-")
((triple1 triple2) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Dave is smart.
True
4
proof
[(((((triple8 triple7) -> rule2)) -> rule9))]
("Dave" "is" "smart" "+")
((((triple8 triple7) -> (rule2 % int2))) -> (rule9 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is not smart.
False
4
inv-proof
[(((((triple8 triple7) -> rule2)) -> rule9))]
("Dave" "is" "smart" "-")
((((triple8 triple7) -> (rule2 % int2))) -> (rule9 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
True
5
proof
[(((((((triple8 triple7) -> rule2)) -> rule9)) -> rule1))]
("Dave" "is" "red" "+")
((((((triple8 triple7) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is not red.
False
5
inv-proof
[(((((((triple8 triple7) -> rule2)) -> rule9)) -> rule1))]
("Dave" "is" "red" "-")
((((((triple8 triple7) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is quiet.
True
7
proof
[(((((((((triple8 triple7) -> rule2)) -> rule9)) -> rule1) triple7) -> rule3))]
("Dave" "is" "quiet" "+")
((((((((triple8 triple7) -> (rule2 % int4))) -> (rule9 % int3))) -> (rule1 % int2)) triple7) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is not quiet.
False
7
inv-proof
[(((((((((triple8 triple7) -> rule2)) -> rule9)) -> rule1) triple7) -> rule3))]
("Dave" "is" "quiet" "-")
((((((((triple8 triple7) -> (rule2 % int4))) -> (rule9 % int3))) -> (rule1 % int2)) triple7) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is furry.
True
8
proof
[(((((((((((triple8 triple7) -> rule2)) -> rule9)) -> rule1) triple7) -> rule3)) -> rule8))]
("Dave" "is" "furry" "+")
((((((((((triple8 triple7) -> (rule2 % int5))) -> (rule9 % int4))) -> (rule1 % int3)) triple7) -> (rule3 % int2))) -> (rule8 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
Dave is not furry.
False
8
inv-proof
[(((((((((((triple8 triple7) -> rule2)) -> rule9)) -> rule1) triple7) -> rule3)) -> rule8))]
("Dave" "is" "furry" "-")
((((((((((triple8 triple7) -> (rule2 % int5))) -> (rule9 % int4))) -> (rule1 % int3)) triple7) -> (rule3 % int2))) -> (rule8 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
Charlie is not quiet.
Unknown
inv-rconc
[@2: Charlie is quiet.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Charlie" "is" "quiet" "-")
Charlie is blue.
Unknown
rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "blue" "+")
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "young" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Anne is cold.[(triple1)] Anne is quiet.[(triple2)] Anne is young.[(triple3 OR ((triple1 ((triple1 triple2) -> rule4)) -> rule2))] Charlie is furry.[(triple4)] Charlie is red.[(triple5 OR ((triple4) -> rule5) OR ((triple6) -> rule1))] Charlie is smart.[(triple6)] Dave is blue.[(triple7)] Dave is cold.[(triple8)] Erin is blue.[(triple9 OR ((triple10 triple12) -> rule4))] Erin is cold.[(triple10 OR ((triple14 triple9) -> rule7) OR ((((triple9 triple13) -> rule6) triple9) -> rule7) OR ((((triple9 ((triple11) -> rule5)) -> rule6) triple9) -> rule7) OR ((((triple9 ((((triple12) -> rule8)) -> rule5)) -> rule6) triple9) -> rule7))] Erin is furry.[(triple11 OR ((triple12) -> rule8) OR ((((triple13 triple9) -> rule3)) -> rule8) OR ((((((triple14) -> rule1) triple9) -> rule3)) -> rule8) OR ((((((((((triple10 triple9) -> rule2)) -> rule9)) -> rule1) triple9) -> rule3)) -> rule8))] Erin is quiet.[(triple12 OR ((triple13 triple9) -> rule3) OR ((((triple11) -> rule5) triple9) -> rule3) OR ((((triple14) -> rule1) triple9) -> rule3) OR ((((((((triple10 triple9) -> rule2)) -> rule9)) -> rule1) triple9) -> rule3))] Erin is red.[(triple13 OR ((triple11) -> rule5) OR ((triple14) -> rule1) OR ((((triple12) -> rule8)) -> rule5) OR ((((((triple10 triple9) -> rule2)) -> rule9)) -> rule1) OR ((((((triple10 ((triple10 triple12) -> rule4)) -> rule2)) -> rule9)) -> rule1))] Erin is smart.[(triple14 OR ((triple9 triple13) -> rule6) OR ((((triple10 triple9) -> rule2)) -> rule9) OR ((triple9 ((triple11) -> rule5)) -> rule6) OR ((((triple10 triple12) -> rule4) triple13) -> rule6) OR ((((triple10 triple12) -> rule4) ((triple11) -> rule5)) -> rule6) OR ((((triple10 ((triple10 triple12) -> rule4)) -> rule2)) -> rule9) OR ((triple9 ((((triple12) -> rule8)) -> rule5)) -> rule6) OR ((((triple10 triple12) -> rule4) ((((triple12) -> rule8)) -> rule5)) -> rule6))] @1: Anne is blue.[(((triple1 triple2) -> rule4))] Anne is furry.[(((triple2) -> rule8))] Anne is smart.[(((triple3) -> rule9) OR ((((triple1 ((triple1 triple2) -> rule4)) -> rule2)) -> rule9) OR ((((triple1 triple2) -> rule4) ((((triple2) -> rule8)) -> rule5)) -> rule6))] Dave is young.[(((triple8 triple7) -> rule2))] Erin is young.[(((triple10 triple9) -> rule2) OR ((triple10 ((triple10 triple12) -> rule4)) -> rule2) OR ((((triple14 triple9) -> rule7) triple9) -> rule2) OR ((((triple14 triple9) -> rule7) ((triple10 triple12) -> rule4)) -> rule2) OR ((((((triple9 triple13) -> rule6) triple9) -> rule7) triple9) -> rule2) OR ((((((triple9 triple13) -> rule6) triple9) -> rule7) ((triple10 triple12) -> rule4)) -> rule2) OR ((((((triple9 ((triple11) -> rule5)) -> rule6) triple9) -> rule7) triple9) -> rule2) OR ((((((triple9 ((triple11) -> rule5)) -> rule6) triple9) -> rule7) ((triple10 triple12) -> rule4)) -> rule2) OR ((((((triple9 ((((triple12) -> rule8)) -> rule5)) -> rule6) triple9) -> rule7) triple9) -> rule2) OR ((((((triple9 ((((triple12) -> rule8)) -> rule5)) -> rule6) triple9) -> rule7) ((triple10 triple12) -> rule4)) -> rule2))] @2: Anne is red.[(((((triple2) -> rule8)) -> rule5) OR ((((triple3) -> rule9)) -> rule1) OR ((((((triple1 ((triple1 triple2) -> rule4)) -> rule2)) -> rule9)) -> rule1))] Dave is smart.[(((((triple8 triple7) -> rule2)) -> rule9))] @3: Dave is red.[(((((((triple8 triple7) -> rule2)) -> rule9)) -> rule1))] @4: Dave is quiet.[(((((((((triple8 triple7) -> rule2)) -> rule9)) -> rule1) triple7) -> rule3))] @5: Dave is furry.[(((((((((((triple8 triple7) -> rule2)) -> rule9)) -> rule1) triple7) -> rule3)) -> rule8))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
((triple1 ((triple1 triple2) -> (rule4 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple5
((triple4) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
((triple6) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple6
Dave is blue.
("Dave" "is" "blue" "+")
triple7
Dave is cold.
("Dave" "is" "cold" "+")
triple8
Erin is blue.
("Erin" "is" "blue" "+")
triple9
((triple10 triple12) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
triple10
((triple14 triple9) -> (rule7 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((((triple9 triple13) -> (rule6 % int2)) triple9) -> (rule7 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((triple9 ((triple11) -> (rule5 % int3))) -> (rule6 % int2)) triple9) -> (rule7 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((triple9 ((((triple12) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule6 % int2)) triple9) -> (rule7 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
triple11
((triple12) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((triple13 triple9) -> (rule3 % int2))) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((((triple14) -> (rule1 % int3)) triple9) -> (rule3 % int2))) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((((((triple10 triple9) -> (rule2 % int5))) -> (rule9 % int4))) -> (rule1 % int3)) triple9) -> (rule3 % int2))) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Erin is quiet.
("Erin" "is" "quiet" "+")
triple12
((triple13 triple9) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((((triple11) -> (rule5 % int2)) triple9) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple14) -> (rule1 % int2)) triple9) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((((((triple10 triple9) -> (rule2 % int4))) -> (rule9 % int3))) -> (rule1 % int2)) triple9) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
triple13
((triple11) -> (rule5 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((triple14) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((((triple12) -> (rule8 % int2))) -> (rule5 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((((((triple10 triple9) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((((triple10 ((triple10 triple12) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
triple14
((triple9 triple13) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((((triple10 triple9) -> (rule2 % int2))) -> (rule9 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((triple9 ((triple11) -> (rule5 % int2))) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple10 triple12) -> (rule4 % int2)) triple13) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((triple10 triple12) -> (rule4 % int3)) ((triple11) -> (rule5 % int2))) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((triple10 ((triple10 triple12) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((triple9 ((((triple12) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((triple10 triple12) -> (rule4 % int4)) ((((triple12) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
((triple1 triple2) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
((triple2) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
((triple3) -> (rule9 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((((triple1 ((triple1 triple2) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((triple1 triple2) -> (rule4 % int4)) ((((triple2) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
((triple8 triple7) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
((triple10 triple9) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((triple10 ((triple10 triple12) -> (rule4 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((triple14 triple9) -> (rule7 % int2)) triple9) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((triple14 triple9) -> (rule7 % int3)) ((triple10 triple12) -> (rule4 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple9 triple13) -> (rule6 % int3)) triple9) -> (rule7 % int2)) triple9) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((((triple9 triple13) -> (rule6 % int4)) triple9) -> (rule7 % int3)) ((triple10 triple12) -> (rule4 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((((triple9 ((triple11) -> (rule5 % int4))) -> (rule6 % int3)) triple9) -> (rule7 % int2)) triple9) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((triple9 ((triple11) -> (rule5 % int5))) -> (rule6 % int4)) triple9) -> (rule7 % int3)) ((triple10 triple12) -> (rule4 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((triple9 ((((triple12) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule6 % int3)) triple9) -> (rule7 % int2)) triple9) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple9 ((((triple12) -> (rule8 % int6))) -> (rule5 % int5))) -> (rule6 % int4)) triple9) -> (rule7 % int3)) ((triple10 triple12) -> (rule4 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
Anne is red.
("Anne" "is" "red" "+")
((((triple2) -> (rule8 % int2))) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((((triple3) -> (rule9 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((((triple1 ((triple1 triple2) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
((((triple8 triple7) -> (rule2 % int2))) -> (rule9 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
((((((triple8 triple7) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
((((((((triple8 triple7) -> (rule2 % int4))) -> (rule9 % int3))) -> (rule1 % int2)) triple7) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
((((((((((triple8 triple7) -> (rule2 % int5))) -> (rule9 % int4))) -> (rule1 % int3)) triple7) -> (rule3 % int2))) -> (rule8 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5