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