Anne is blue. Anne is cold. Anne is furry. Anne is nice. Anne is quiet. Anne is young. Bob is blue. Bob is cold. Bob is furry. Bob is nice. Bob is quiet. Bob is smart. Bob is young. Charlie is quiet. Charlie is young. Gary is young. If someone is blue and cold then they are smart. All blue, young people are cold. If Charlie is smart then Charlie is furry. If someone is young and quiet then they are blue. If someone is furry and young then they are cold. If someone is nice and cold then they are young. Furry people are nice. If Gary is furry and Gary is quiet then Gary is nice.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is blue and cold then they are smart.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "smart" "+"))
All blue, young people are cold.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If Charlie is smart then Charlie is furry.
((("Charlie" "is" "smart" "+")) -> ("Charlie" "is" "furry" "+"))
If someone is young and quiet then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "blue" "+"))
If someone is furry and young then they are cold.
((("someone" "is" "furry" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and cold then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
Furry people are nice.
((("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "+"))
If Gary is furry and Gary is quiet then Gary is nice.
((("Gary" "is" "furry" "+") ("Gary" "is" "quiet" "+")) -> ("Gary" "is" "nice" "+"))
Anne is quiet.
True
1
proof
[(triple5)]
("Anne" "is" "quiet" "+")
triple5
Bob is not smart.
False
1
inv-proof
[(triple12 OR ((triple7 triple8) -> rule1) OR ((triple7 ((triple7 triple13) -> rule2)) -> rule1) OR ((triple7 ((triple9 triple13) -> rule5)) -> rule1) OR ((((triple13 triple11) -> rule4) triple8) -> rule1) OR ((((triple13 triple11) -> rule4) ((triple7 triple13) -> rule2)) -> rule1) OR ((((triple13 triple11) -> rule4) ((triple9 triple13) -> rule5)) -> rule1) OR ((triple7 ((((triple13 triple11) -> rule4) triple13) -> rule2)) -> rule1) OR ((((((triple10 triple8) -> rule6) triple11) -> rule4) triple8) -> rule1) OR ((((triple13 triple11) -> rule4) ((((triple13 triple11) -> rule4) triple13) -> rule2)) -> rule1) OR ((((((triple10 triple8) -> rule6) triple11) -> rule4) ((triple7 triple13) -> rule2)) -> rule1) OR ((((((triple10 triple8) -> rule6) triple11) -> rule4) ((triple9 triple13) -> rule5)) -> rule1) OR ((((((triple10 triple8) -> rule6) triple11) -> rule4) ((((triple13 triple11) -> rule4) triple13) -> rule2)) -> rule1) OR ((((((((triple9) -> rule7) triple8) -> rule6) triple11) -> rule4) triple8) -> rule1) OR ((((((((triple9) -> rule7) triple8) -> rule6) triple11) -> rule4) ((triple7 triple13) -> rule2)) -> rule1) OR ((((((((triple9) -> rule7) triple8) -> rule6) triple11) -> rule4) ((triple9 triple13) -> rule5)) -> rule1) OR ((((((((triple9) -> rule7) triple8) -> rule6) triple11) -> rule4) ((((triple13 triple11) -> rule4) triple13) -> rule2)) -> rule1))]
("Bob" "is" "smart" "-")
triple12
((triple7 triple8) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((triple7 ((triple7 triple13) -> (rule2 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((triple7 ((triple9 triple13) -> (rule5 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple13 triple11) -> (rule4 % int2)) triple8) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple13 triple11) -> (rule4 % int3)) ((triple7 triple13) -> (rule2 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((triple13 triple11) -> (rule4 % int3)) ((triple9 triple13) -> (rule5 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((triple7 ((((triple13 triple11) -> (rule4 % int3)) triple13) -> (rule2 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((((triple10 triple8) -> (rule6 % int3)) triple11) -> (rule4 % int2)) triple8) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((triple13 triple11) -> (rule4 % int3)) ((((triple13 triple11) -> (rule4 % int3)) triple13) -> (rule2 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((((triple10 triple8) -> (rule6 % int4)) triple11) -> (rule4 % int3)) ((triple7 triple13) -> (rule2 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((triple10 triple8) -> (rule6 % int4)) triple11) -> (rule4 % int3)) ((triple9 triple13) -> (rule5 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((triple10 triple8) -> (rule6 % int4)) triple11) -> (rule4 % int3)) ((((triple13 triple11) -> (rule4 % int3)) triple13) -> (rule2 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((((triple9) -> (rule7 % int4)) triple8) -> (rule6 % int3)) triple11) -> (rule4 % int2)) triple8) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((((((triple9) -> (rule7 % int5)) triple8) -> (rule6 % int4)) triple11) -> (rule4 % int3)) ((triple7 triple13) -> (rule2 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((((((triple9) -> (rule7 % int5)) triple8) -> (rule6 % int4)) triple11) -> (rule4 % int3)) ((triple9 triple13) -> (rule5 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((((((triple9) -> (rule7 % int5)) triple8) -> (rule6 % int4)) triple11) -> (rule4 % int3)) ((((triple13 triple11) -> (rule4 % int3)) triple13) -> (rule2 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Anne is smart.
True
3
proof
[(((triple1 triple2) -> rule1) OR ((triple1 ((triple1 triple6) -> rule2)) -> rule1) OR ((triple1 ((triple3 triple6) -> rule5)) -> rule1) OR ((((triple6 triple5) -> rule4) triple2) -> rule1) OR ((((triple6 triple5) -> rule4) ((triple1 triple6) -> rule2)) -> rule1) OR ((((triple6 triple5) -> rule4) ((triple3 triple6) -> rule5)) -> rule1) OR ((triple1 ((((triple6 triple5) -> rule4) triple6) -> rule2)) -> rule1) OR ((((((triple4 triple2) -> rule6) triple5) -> rule4) triple2) -> rule1) OR ((((triple6 triple5) -> rule4) ((((triple6 triple5) -> rule4) triple6) -> rule2)) -> rule1) OR ((((((triple4 triple2) -> rule6) triple5) -> rule4) ((triple1 triple6) -> rule2)) -> rule1) OR ((((((triple4 triple2) -> rule6) triple5) -> rule4) ((triple3 triple6) -> rule5)) -> rule1) OR ((((((triple4 triple2) -> rule6) triple5) -> rule4) ((((triple6 triple5) -> rule4) triple6) -> rule2)) -> rule1) OR ((((((((triple3) -> rule7) triple2) -> rule6) triple5) -> rule4) triple2) -> rule1) OR ((((((((triple3) -> rule7) triple2) -> rule6) triple5) -> rule4) ((triple1 triple6) -> rule2)) -> rule1) OR ((((((((triple3) -> rule7) triple2) -> rule6) triple5) -> rule4) ((triple3 triple6) -> rule5)) -> rule1) OR ((((((((triple3) -> rule7) triple2) -> rule6) triple5) -> rule4) ((((triple6 triple5) -> rule4) triple6) -> rule2)) -> rule1))]
("Anne" "is" "smart" "+")
((triple1 triple2) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((triple1 ((triple1 triple6) -> (rule2 % int2))) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((triple1 ((triple3 triple6) -> (rule5 % int2))) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((triple6 triple5) -> (rule4 % int2)) triple2) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((triple6 triple5) -> (rule4 % int3)) ((triple1 triple6) -> (rule2 % int2))) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((triple6 triple5) -> (rule4 % int3)) ((triple3 triple6) -> (rule5 % int2))) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((triple1 ((((triple6 triple5) -> (rule4 % int3)) triple6) -> (rule2 % int2))) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((((triple4 triple2) -> (rule6 % int3)) triple5) -> (rule4 % int2)) triple2) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((((triple6 triple5) -> (rule4 % int3)) ((((triple6 triple5) -> (rule4 % int3)) triple6) -> (rule2 % int2))) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((((triple4 triple2) -> (rule6 % int4)) triple5) -> (rule4 % int3)) ((triple1 triple6) -> (rule2 % int2))) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((triple4 triple2) -> (rule6 % int4)) triple5) -> (rule4 % int3)) ((triple3 triple6) -> (rule5 % int2))) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((triple4 triple2) -> (rule6 % int4)) triple5) -> (rule4 % int3)) ((((triple6 triple5) -> (rule4 % int3)) triple6) -> (rule2 % int2))) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((((triple3) -> (rule7 % int4)) triple2) -> (rule6 % int3)) triple5) -> (rule4 % int2)) triple2) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple3) -> (rule7 % int5)) triple2) -> (rule6 % int4)) triple5) -> (rule4 % int3)) ((triple1 triple6) -> (rule2 % int2))) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((((triple3) -> (rule7 % int5)) triple2) -> (rule6 % int4)) triple5) -> (rule4 % int3)) ((triple3 triple6) -> (rule5 % int2))) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((((triple3) -> (rule7 % int5)) triple2) -> (rule6 % int4)) triple5) -> (rule4 % int3)) ((((triple6 triple5) -> (rule4 % int3)) triple6) -> (rule2 % int2))) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
Anne is not smart.
False
3
inv-proof
[(((triple1 triple2) -> rule1) OR ((triple1 ((triple1 triple6) -> rule2)) -> rule1) OR ((triple1 ((triple3 triple6) -> rule5)) -> rule1) OR ((((triple6 triple5) -> rule4) triple2) -> rule1) OR ((((triple6 triple5) -> rule4) ((triple1 triple6) -> rule2)) -> rule1) OR ((((triple6 triple5) -> rule4) ((triple3 triple6) -> rule5)) -> rule1) OR ((triple1 ((((triple6 triple5) -> rule4) triple6) -> rule2)) -> rule1) OR ((((((triple4 triple2) -> rule6) triple5) -> rule4) triple2) -> rule1) OR ((((triple6 triple5) -> rule4) ((((triple6 triple5) -> rule4) triple6) -> rule2)) -> rule1) OR ((((((triple4 triple2) -> rule6) triple5) -> rule4) ((triple1 triple6) -> rule2)) -> rule1) OR ((((((triple4 triple2) -> rule6) triple5) -> rule4) ((triple3 triple6) -> rule5)) -> rule1) OR ((((((triple4 triple2) -> rule6) triple5) -> rule4) ((((triple6 triple5) -> rule4) triple6) -> rule2)) -> rule1) OR ((((((((triple3) -> rule7) triple2) -> rule6) triple5) -> rule4) triple2) -> rule1) OR ((((((((triple3) -> rule7) triple2) -> rule6) triple5) -> rule4) ((triple1 triple6) -> rule2)) -> rule1) OR ((((((((triple3) -> rule7) triple2) -> rule6) triple5) -> rule4) ((triple3 triple6) -> rule5)) -> rule1) OR ((((((((triple3) -> rule7) triple2) -> rule6) triple5) -> rule4) ((((triple6 triple5) -> rule4) triple6) -> rule2)) -> rule1))]
("Anne" "is" "smart" "-")
((triple1 triple2) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((triple1 ((triple1 triple6) -> (rule2 % int2))) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((triple1 ((triple3 triple6) -> (rule5 % int2))) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((triple6 triple5) -> (rule4 % int2)) triple2) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((triple6 triple5) -> (rule4 % int3)) ((triple1 triple6) -> (rule2 % int2))) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((triple6 triple5) -> (rule4 % int3)) ((triple3 triple6) -> (rule5 % int2))) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((triple1 ((((triple6 triple5) -> (rule4 % int3)) triple6) -> (rule2 % int2))) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((((triple4 triple2) -> (rule6 % int3)) triple5) -> (rule4 % int2)) triple2) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((((triple6 triple5) -> (rule4 % int3)) ((((triple6 triple5) -> (rule4 % int3)) triple6) -> (rule2 % int2))) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((((triple4 triple2) -> (rule6 % int4)) triple5) -> (rule4 % int3)) ((triple1 triple6) -> (rule2 % int2))) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((triple4 triple2) -> (rule6 % int4)) triple5) -> (rule4 % int3)) ((triple3 triple6) -> (rule5 % int2))) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((triple4 triple2) -> (rule6 % int4)) triple5) -> (rule4 % int3)) ((((triple6 triple5) -> (rule4 % int3)) triple6) -> (rule2 % int2))) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((((triple3) -> (rule7 % int4)) triple2) -> (rule6 % int3)) triple5) -> (rule4 % int2)) triple2) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple3) -> (rule7 % int5)) triple2) -> (rule6 % int4)) triple5) -> (rule4 % int3)) ((triple1 triple6) -> (rule2 % int2))) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((((triple3) -> (rule7 % int5)) triple2) -> (rule6 % int4)) triple5) -> (rule4 % int3)) ((triple3 triple6) -> (rule5 % int2))) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((((triple3) -> (rule7 % int5)) triple2) -> (rule6 % int4)) triple5) -> (rule4 % int3)) ((((triple6 triple5) -> (rule4 % int3)) triple6) -> (rule2 % int2))) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
Charlie is cold.
True
5
proof
[(((((triple15 triple14) -> rule4) triple15) -> rule2))]
("Charlie" "is" "cold" "+")
((((triple15 triple14) -> (rule4 % int2)) triple15) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is not cold.
False
5
inv-proof
[(((((triple15 triple14) -> rule4) triple15) -> rule2))]
("Charlie" "is" "cold" "-")
((((triple15 triple14) -> (rule4 % int2)) triple15) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is smart.
True
9
proof
[(((((triple15 triple14) -> rule4) ((((triple15 triple14) -> rule4) triple15) -> rule2)) -> rule1))]
("Charlie" "is" "smart" "+")
((((triple15 triple14) -> (rule4 % int3)) ((((triple15 triple14) -> (rule4 % int3)) triple15) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is not smart.
False
9
inv-proof
[(((((triple15 triple14) -> rule4) ((((triple15 triple14) -> rule4) triple15) -> rule2)) -> rule1))]
("Charlie" "is" "smart" "-")
((((triple15 triple14) -> (rule4 % int3)) ((((triple15 triple14) -> (rule4 % int3)) triple15) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is furry.
True
10
proof
[(((((((triple15 triple14) -> rule4) ((((triple15 triple14) -> rule4) triple15) -> rule2)) -> rule1)) -> rule3))]
("Charlie" "is" "furry" "+")
((((((triple15 triple14) -> (rule4 % int4)) ((((triple15 triple14) -> (rule4 % int4)) triple15) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is not furry.
False
10
inv-proof
[(((((((triple15 triple14) -> rule4) ((((triple15 triple14) -> rule4) triple15) -> rule2)) -> rule1)) -> rule3))]
("Charlie" "is" "furry" "-")
((((((triple15 triple14) -> (rule4 % int4)) ((((triple15 triple14) -> (rule4 % int4)) triple15) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is nice.
True
11
proof
[(((((((((triple15 triple14) -> rule4) ((((triple15 triple14) -> rule4) triple15) -> rule2)) -> rule1)) -> rule3)) -> rule7))]
("Charlie" "is" "nice" "+")
((((((((triple15 triple14) -> (rule4 % int5)) ((((triple15 triple14) -> (rule4 % int5)) triple15) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
Charlie is not nice.
False
11
inv-proof
[(((((((((triple15 triple14) -> rule4) ((((triple15 triple14) -> rule4) triple15) -> rule2)) -> rule1)) -> rule3)) -> rule7))]
("Charlie" "is" "nice" "-")
((((((((triple15 triple14) -> (rule4 % int5)) ((((triple15 triple14) -> (rule4 % int5)) triple15) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
Gary is not smart.
Unknown
inv-rconc
[@2: Gary is smart.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Gary" "is" "smart" "-")
Gary is cold.
Unknown
rconc
[@2: Gary is cold.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Gary" "is" "cold" "+")
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "nice" "-")
Gary is blue.
Unknown
rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "blue" "+")
Gary is not furry.
Unknown
inv-random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
@0: Anne is blue.[(triple1 OR ((triple6 triple5) -> rule4) OR ((((triple4 triple2) -> rule6) triple5) -> rule4) OR ((((((triple3) -> rule7) triple2) -> rule6) triple5) -> rule4))] Anne is cold.[(triple2 OR ((triple1 triple6) -> rule2) OR ((triple3 triple6) -> rule5) OR ((((triple6 triple5) -> rule4) triple6) -> rule2))] Anne is furry.[(triple3)] Anne is nice.[(triple4 OR ((triple3) -> rule7))] Anne is quiet.[(triple5)] Anne is young.[(triple6 OR ((triple4 triple2) -> rule6) OR ((((triple3) -> rule7) triple2) -> rule6))] Bob is blue.[(triple7 OR ((triple13 triple11) -> rule4) OR ((((triple10 triple8) -> rule6) triple11) -> rule4) OR ((((((triple9) -> rule7) triple8) -> rule6) triple11) -> rule4))] Bob is cold.[(triple8 OR ((triple7 triple13) -> rule2) OR ((triple9 triple13) -> rule5) OR ((((triple13 triple11) -> rule4) triple13) -> rule2))] Bob is furry.[(triple9)] Bob is nice.[(triple10 OR ((triple9) -> rule7))] Bob is quiet.[(triple11)] Bob is smart.[(triple12 OR ((triple7 triple8) -> rule1) OR ((triple7 ((triple7 triple13) -> rule2)) -> rule1) OR ((triple7 ((triple9 triple13) -> rule5)) -> rule1) OR ((((triple13 triple11) -> rule4) triple8) -> rule1) OR ((((triple13 triple11) -> rule4) ((triple7 triple13) -> rule2)) -> rule1) OR ((((triple13 triple11) -> rule4) ((triple9 triple13) -> rule5)) -> rule1) OR ((triple7 ((((triple13 triple11) -> rule4) triple13) -> rule2)) -> rule1) OR ((((((triple10 triple8) -> rule6) triple11) -> rule4) triple8) -> rule1) OR ((((triple13 triple11) -> rule4) ((((triple13 triple11) -> rule4) triple13) -> rule2)) -> rule1) OR ((((((triple10 triple8) -> rule6) triple11) -> rule4) ((triple7 triple13) -> rule2)) -> rule1) OR ((((((triple10 triple8) -> rule6) triple11) -> rule4) ((triple9 triple13) -> rule5)) -> rule1) OR ((((((triple10 triple8) -> rule6) triple11) -> rule4) ((((triple13 triple11) -> rule4) triple13) -> rule2)) -> rule1) OR ((((((((triple9) -> rule7) triple8) -> rule6) triple11) -> rule4) triple8) -> rule1) OR ((((((((triple9) -> rule7) triple8) -> rule6) triple11) -> rule4) ((triple7 triple13) -> rule2)) -> rule1) OR ((((((((triple9) -> rule7) triple8) -> rule6) triple11) -> rule4) ((triple9 triple13) -> rule5)) -> rule1) OR ((((((((triple9) -> rule7) triple8) -> rule6) triple11) -> rule4) ((((triple13 triple11) -> rule4) triple13) -> rule2)) -> rule1))] Bob is young.[(triple13 OR ((triple10 triple8) -> rule6) OR ((((triple9) -> rule7) triple8) -> rule6))] Charlie is quiet.[(triple14)] Charlie is young.[(triple15)] Gary is young.[(triple16)] @1: Anne is smart.[(((triple1 triple2) -> rule1) OR ((triple1 ((triple1 triple6) -> rule2)) -> rule1) OR ((triple1 ((triple3 triple6) -> rule5)) -> rule1) OR ((((triple6 triple5) -> rule4) triple2) -> rule1) OR ((((triple6 triple5) -> rule4) ((triple1 triple6) -> rule2)) -> rule1) OR ((((triple6 triple5) -> rule4) ((triple3 triple6) -> rule5)) -> rule1) OR ((triple1 ((((triple6 triple5) -> rule4) triple6) -> rule2)) -> rule1) OR ((((((triple4 triple2) -> rule6) triple5) -> rule4) triple2) -> rule1) OR ((((triple6 triple5) -> rule4) ((((triple6 triple5) -> rule4) triple6) -> rule2)) -> rule1) OR ((((((triple4 triple2) -> rule6) triple5) -> rule4) ((triple1 triple6) -> rule2)) -> rule1) OR ((((((triple4 triple2) -> rule6) triple5) -> rule4) ((triple3 triple6) -> rule5)) -> rule1) OR ((((((triple4 triple2) -> rule6) triple5) -> rule4) ((((triple6 triple5) -> rule4) triple6) -> rule2)) -> rule1) OR ((((((((triple3) -> rule7) triple2) -> rule6) triple5) -> rule4) triple2) -> rule1) OR ((((((((triple3) -> rule7) triple2) -> rule6) triple5) -> rule4) ((triple1 triple6) -> rule2)) -> rule1) OR ((((((((triple3) -> rule7) triple2) -> rule6) triple5) -> rule4) ((triple3 triple6) -> rule5)) -> rule1) OR ((((((((triple3) -> rule7) triple2) -> rule6) triple5) -> rule4) ((((triple6 triple5) -> rule4) triple6) -> rule2)) -> rule1))] Charlie is blue.[(((triple15 triple14) -> rule4))] @2: Charlie is cold.[(((((triple15 triple14) -> rule4) triple15) -> rule2))] @3: Charlie is smart.[(((((triple15 triple14) -> rule4) ((((triple15 triple14) -> rule4) triple15) -> rule2)) -> rule1))] @4: Charlie is furry.[(((((((triple15 triple14) -> rule4) ((((triple15 triple14) -> rule4) triple15) -> rule2)) -> rule1)) -> rule3))] @5: Charlie is nice.[(((((((((triple15 triple14) -> rule4) ((((triple15 triple14) -> rule4) triple15) -> rule2)) -> rule1)) -> rule3)) -> rule7))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
((triple6 triple5) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((((triple4 triple2) -> (rule6 % int2)) triple5) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
((((((triple3) -> (rule7 % int3)) triple2) -> (rule6 % int2)) triple5) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
triple2
((triple1 triple6) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((triple3 triple6) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((((triple6 triple5) -> (rule4 % int2)) triple6) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
triple3
Anne is nice.
("Anne" "is" "nice" "+")
triple4
((triple3) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple5
Anne is young.
("Anne" "is" "young" "+")
triple6
((triple4 triple2) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
((((triple3) -> (rule7 % int2)) triple2) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
triple7
((triple13 triple11) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((((triple10 triple8) -> (rule6 % int2)) triple11) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((((triple9) -> (rule7 % int3)) triple8) -> (rule6 % int2)) triple11) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
triple8
((triple7 triple13) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((triple9 triple13) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((((triple13 triple11) -> (rule4 % int2)) triple13) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
triple9
Bob is nice.
("Bob" "is" "nice" "+")
triple10
((triple9) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple11
Bob is smart.
("Bob" "is" "smart" "+")
triple12
((triple7 triple8) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((triple7 ((triple7 triple13) -> (rule2 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((triple7 ((triple9 triple13) -> (rule5 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple13 triple11) -> (rule4 % int2)) triple8) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple13 triple11) -> (rule4 % int3)) ((triple7 triple13) -> (rule2 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((triple13 triple11) -> (rule4 % int3)) ((triple9 triple13) -> (rule5 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((triple7 ((((triple13 triple11) -> (rule4 % int3)) triple13) -> (rule2 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((((triple10 triple8) -> (rule6 % int3)) triple11) -> (rule4 % int2)) triple8) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((triple13 triple11) -> (rule4 % int3)) ((((triple13 triple11) -> (rule4 % int3)) triple13) -> (rule2 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((((triple10 triple8) -> (rule6 % int4)) triple11) -> (rule4 % int3)) ((triple7 triple13) -> (rule2 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((triple10 triple8) -> (rule6 % int4)) triple11) -> (rule4 % int3)) ((triple9 triple13) -> (rule5 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((triple10 triple8) -> (rule6 % int4)) triple11) -> (rule4 % int3)) ((((triple13 triple11) -> (rule4 % int3)) triple13) -> (rule2 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((((triple9) -> (rule7 % int4)) triple8) -> (rule6 % int3)) triple11) -> (rule4 % int2)) triple8) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((((((triple9) -> (rule7 % int5)) triple8) -> (rule6 % int4)) triple11) -> (rule4 % int3)) ((triple7 triple13) -> (rule2 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((((((triple9) -> (rule7 % int5)) triple8) -> (rule6 % int4)) triple11) -> (rule4 % int3)) ((triple9 triple13) -> (rule5 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((((((triple9) -> (rule7 % int5)) triple8) -> (rule6 % int4)) triple11) -> (rule4 % int3)) ((((triple13 triple11) -> (rule4 % int3)) triple13) -> (rule2 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
triple13
((triple10 triple8) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((((triple9) -> (rule7 % int2)) triple8) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple14
Charlie is young.
("Charlie" "is" "young" "+")
triple15
Gary is young.
("Gary" "is" "young" "+")
triple16
Anne is smart.
("Anne" "is" "smart" "+")
((triple1 triple2) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((triple1 ((triple1 triple6) -> (rule2 % int2))) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((triple1 ((triple3 triple6) -> (rule5 % int2))) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((triple6 triple5) -> (rule4 % int2)) triple2) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((triple6 triple5) -> (rule4 % int3)) ((triple1 triple6) -> (rule2 % int2))) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((triple6 triple5) -> (rule4 % int3)) ((triple3 triple6) -> (rule5 % int2))) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((triple1 ((((triple6 triple5) -> (rule4 % int3)) triple6) -> (rule2 % int2))) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((((triple4 triple2) -> (rule6 % int3)) triple5) -> (rule4 % int2)) triple2) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((((triple6 triple5) -> (rule4 % int3)) ((((triple6 triple5) -> (rule4 % int3)) triple6) -> (rule2 % int2))) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((((triple4 triple2) -> (rule6 % int4)) triple5) -> (rule4 % int3)) ((triple1 triple6) -> (rule2 % int2))) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((triple4 triple2) -> (rule6 % int4)) triple5) -> (rule4 % int3)) ((triple3 triple6) -> (rule5 % int2))) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((triple4 triple2) -> (rule6 % int4)) triple5) -> (rule4 % int3)) ((((triple6 triple5) -> (rule4 % int3)) triple6) -> (rule2 % int2))) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((((triple3) -> (rule7 % int4)) triple2) -> (rule6 % int3)) triple5) -> (rule4 % int2)) triple2) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple3) -> (rule7 % int5)) triple2) -> (rule6 % int4)) triple5) -> (rule4 % int3)) ((triple1 triple6) -> (rule2 % int2))) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((((triple3) -> (rule7 % int5)) triple2) -> (rule6 % int4)) triple5) -> (rule4 % int3)) ((triple3 triple6) -> (rule5 % int2))) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((((triple3) -> (rule7 % int5)) triple2) -> (rule6 % int4)) triple5) -> (rule4 % int3)) ((((triple6 triple5) -> (rule4 % int3)) triple6) -> (rule2 % int2))) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple15 triple14) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((((triple15 triple14) -> (rule4 % int2)) triple15) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
((((triple15 triple14) -> (rule4 % int3)) ((((triple15 triple14) -> (rule4 % int3)) triple15) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
((((((triple15 triple14) -> (rule4 % int4)) ((((triple15 triple14) -> (rule4 % int4)) triple15) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
((((((((triple15 triple14) -> (rule4 % int5)) ((((triple15 triple14) -> (rule4 % int5)) triple15) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5