Anne is cold. Dave is blue. Erin is blue. Erin is cold. Erin is green. Erin is nice. Erin is white. Harry is furry. Harry is green. Harry is young. Furry, nice people are green. Cold people are nice. Blue, young people are white. If someone is cold then they are young. White people are cold. All blue people are cold. If someone is white and blue then they are green. Green people are furry. All white people are green.
Anne is cold.
("Anne" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
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 white.
("Erin" "is" "white" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is young.
("Harry" "is" "young" "+")
Furry, nice people are green.
((("someone" "is" "furry" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
Cold people are nice.
((("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
Blue, young people are white.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "white" "+"))
If someone is cold then they are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
White people are cold.
((("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
All blue people are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is white and blue then they are green.
((("someone" "is" "white" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Green people are furry.
((("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
All white people are green.
((("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
Erin is nice.
True
1
proof
[(triple6 OR ((triple4) -> rule2) OR ((((triple3) -> rule6)) -> rule2) OR ((((triple7) -> rule5)) -> rule2))]
("Erin" "is" "nice" "+")
triple6
((triple4) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((((triple3) -> (rule6 % int2))) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((triple7) -> (rule5 % int2))) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is not blue.
False
1
inv-proof
[(triple3)]
("Erin" "is" "blue" "-")
triple3
Erin is furry.
True
2
proof
[(((triple5) -> rule8) OR ((((triple7) -> rule9)) -> rule8) OR ((((triple7 triple3) -> rule7)) -> rule8) OR ((((((triple3 ((triple4) -> rule4)) -> rule3)) -> rule9)) -> rule8) OR ((((((triple3 ((triple4) -> rule4)) -> rule3) triple3) -> rule7)) -> rule8) OR ((((((triple3 ((((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule9)) -> rule8) OR ((((((triple3 ((((triple3) -> rule6)) -> rule4)) -> rule3) triple3) -> rule7)) -> rule8))]
("Erin" "is" "furry" "+")
((triple5) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((triple7) -> (rule9 % int2))) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((triple7 triple3) -> (rule7 % int2))) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((((triple3 ((triple4) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((triple3 ((triple4) -> (rule4 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((triple3 ((((triple3) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
((((((triple3 ((((triple3) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
Erin is not furry.
False
2
inv-proof
[(((triple5) -> rule8) OR ((((triple7) -> rule9)) -> rule8) OR ((((triple7 triple3) -> rule7)) -> rule8) OR ((((((triple3 ((triple4) -> rule4)) -> rule3)) -> rule9)) -> rule8) OR ((((((triple3 ((triple4) -> rule4)) -> rule3) triple3) -> rule7)) -> rule8) OR ((((((triple3 ((((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule9)) -> rule8) OR ((((((triple3 ((((triple3) -> rule6)) -> rule4)) -> rule3) triple3) -> rule7)) -> rule8))]
("Erin" "is" "furry" "-")
((triple5) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((triple7) -> (rule9 % int2))) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((triple7 triple3) -> (rule7 % int2))) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((((triple3 ((triple4) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((triple3 ((triple4) -> (rule4 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((triple3 ((((triple3) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
((((((triple3 ((((triple3) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
Dave is nice.
True
3
proof
[(((((triple2) -> rule6)) -> rule2))]
("Dave" "is" "nice" "+")
((((triple2) -> (rule6 % int2))) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is not young.
False
3
inv-proof
[(((((triple2) -> rule6)) -> rule4))]
("Dave" "is" "young" "-")
((((triple2) -> (rule6 % int2))) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is white.
True
5
proof
[(((triple2 ((((triple2) -> rule6)) -> rule4)) -> rule3))]
("Dave" "is" "white" "+")
((triple2 ((((triple2) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is not white.
False
5
inv-proof
[(((triple2 ((((triple2) -> rule6)) -> rule4)) -> rule3))]
("Dave" "is" "white" "-")
((triple2 ((((triple2) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is green.
True
6
proof
[(((((triple2 ((((triple2) -> rule6)) -> rule4)) -> rule3)) -> rule9) OR ((((triple2 ((((triple2) -> rule6)) -> rule4)) -> rule3) triple2) -> rule7))]
("Dave" "is" "green" "+")
((((triple2 ((((triple2) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((triple2 ((((triple2) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) triple2) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is not green.
False
6
inv-proof
[(((((triple2 ((((triple2) -> rule6)) -> rule4)) -> rule3)) -> rule9) OR ((((triple2 ((((triple2) -> rule6)) -> rule4)) -> rule3) triple2) -> rule7))]
("Dave" "is" "green" "-")
((((triple2 ((((triple2) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((triple2 ((((triple2) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) triple2) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is furry.
True
7
proof
[(((((((triple2 ((((triple2) -> rule6)) -> rule4)) -> rule3)) -> rule9)) -> rule8) OR ((((((triple2 ((((triple2) -> rule6)) -> rule4)) -> rule3) triple2) -> rule7)) -> rule8))]
("Dave" "is" "furry" "+")
((((((triple2 ((((triple2) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule8 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((((triple2 ((((triple2) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) triple2) -> (rule7 % int2))) -> (rule8 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is not furry.
False
7
inv-proof
[(((((((triple2 ((((triple2) -> rule6)) -> rule4)) -> rule3)) -> rule9)) -> rule8) OR ((((((triple2 ((((triple2) -> rule6)) -> rule4)) -> rule3) triple2) -> rule7)) -> rule8))]
("Dave" "is" "furry" "-")
((((((triple2 ((((triple2) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule8 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((((triple2 ((((triple2) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) triple2) -> (rule7 % int2))) -> (rule8 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Anne is not green.
Unknown
inv-rconc
[@4: Anne is green.[CWA. Example of deepest failure = (rule1 <- rule8 <- rule9 <- rule3 <- FAIL)]]
("Anne" "is" "green" "-")
Harry is white.
Unknown
rconc
[@1: Harry is white.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "white" "+")
Anne is not furry.
Unknown
inv-rconc
[@3: Anne is furry.[CWA. Example of deepest failure = (rule8 <- rule9 <- rule3 <- FAIL)]]
("Anne" "is" "furry" "-")
Harry is cold.
Unknown
rconc
[@2: Harry is cold.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Harry" "is" "cold" "+")
Anne is not white.
Unknown
inv-rconc
[@1: Anne is white.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "white" "-")
Harry is nice.
Unknown
rconc
[@3: Harry is nice.[CWA. Example of deepest failure = (rule2 <- rule5 <- rule3 <- FAIL)]]
("Harry" "is" "nice" "+")
Anne is not blue.
Unknown
inv-random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Anne is cold.[(triple1)] Dave is blue.[(triple2)] Erin is blue.[(triple3)] Erin is cold.[(triple4 OR ((triple3) -> rule6) OR ((triple7) -> rule5))] Erin is green.[(triple5 OR ((triple7) -> rule9) OR ((triple7 triple3) -> rule7) OR ((((triple3 ((triple4) -> rule4)) -> rule3)) -> rule9) OR ((((triple3 ((triple4) -> rule4)) -> rule3) triple3) -> rule7) OR ((((triple3 ((((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule9) OR ((((triple3 ((((triple3) -> rule6)) -> rule4)) -> rule3) triple3) -> rule7))] Erin is nice.[(triple6 OR ((triple4) -> rule2) OR ((((triple3) -> rule6)) -> rule2) OR ((((triple7) -> rule5)) -> rule2))] Erin is white.[(triple7 OR ((triple3 ((triple4) -> rule4)) -> rule3) OR ((triple3 ((((triple3) -> rule6)) -> rule4)) -> rule3))] Harry is furry.[(triple8 OR ((triple9) -> rule8))] Harry is green.[(triple9)] Harry is young.[(triple10)] @1: Anne is nice.[(((triple1) -> rule2))] Anne is young.[(((triple1) -> rule4))] Dave is cold.[(((triple2) -> rule6))] Erin is furry.[(((triple5) -> rule8) OR ((((triple7) -> rule9)) -> rule8) OR ((((triple7 triple3) -> rule7)) -> rule8) OR ((((((triple3 ((triple4) -> rule4)) -> rule3)) -> rule9)) -> rule8) OR ((((((triple3 ((triple4) -> rule4)) -> rule3) triple3) -> rule7)) -> rule8) OR ((((((triple3 ((((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule9)) -> rule8) OR ((((((triple3 ((((triple3) -> rule6)) -> rule4)) -> rule3) triple3) -> rule7)) -> rule8))] Erin is young.[(((triple4) -> rule4) OR ((((triple3) -> rule6)) -> rule4) OR ((((triple7) -> rule5)) -> rule4))] @2: Dave is nice.[(((((triple2) -> rule6)) -> rule2))] Dave is young.[(((((triple2) -> rule6)) -> rule4))] @3: Dave is white.[(((triple2 ((((triple2) -> rule6)) -> rule4)) -> rule3))] @4: Dave is green.[(((((triple2 ((((triple2) -> rule6)) -> rule4)) -> rule3)) -> rule9) OR ((((triple2 ((((triple2) -> rule6)) -> rule4)) -> rule3) triple2) -> rule7))] @5: Dave is furry.[(((((((triple2 ((((triple2) -> rule6)) -> rule4)) -> rule3)) -> rule9)) -> rule8) OR ((((((triple2 ((((triple2) -> rule6)) -> rule4)) -> rule3) triple2) -> rule7)) -> rule8))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple2
Erin is blue.
("Erin" "is" "blue" "+")
triple3
Erin is cold.
("Erin" "is" "cold" "+")
triple4
((triple3) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((triple7) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
triple5
((triple7) -> (rule9 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((triple7 triple3) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((((triple3 ((triple4) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((triple3 ((triple4) -> (rule4 % int3))) -> (rule3 % int2)) triple3) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((triple3 ((((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((triple3 ((((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) triple3) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
triple6
((triple4) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((((triple3) -> (rule6 % int2))) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((triple7) -> (rule5 % int2))) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
triple7
((triple3 ((triple4) -> (rule4 % int2))) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((triple3 ((((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
triple8
((triple9) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10
Anne is nice.
("Anne" "is" "nice" "+")
((triple1) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
((triple1) -> (rule4 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((triple2) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((triple5) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((triple7) -> (rule9 % int2))) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((triple7 triple3) -> (rule7 % int2))) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((((triple3 ((triple4) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((triple3 ((triple4) -> (rule4 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((triple3 ((((triple3) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
((((((triple3 ((((triple3) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
((triple4) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((((triple3) -> (rule6 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((triple7) -> (rule5 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((((triple2) -> (rule6 % int2))) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
((((triple2) -> (rule6 % int2))) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
((triple2 ((((triple2) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
((((triple2 ((((triple2) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((triple2 ((((triple2) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) triple2) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
((((((triple2 ((((triple2) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule8 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((((triple2 ((((triple2) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) triple2) -> (rule7 % int2))) -> (rule8 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5