The bear chases the cat. The bear eats the cat. The bear is big. The bear is cold. The bear is green. The bear is red. The bear is young. The bear needs the cat. The cat chases the bear. The cat eats the bear. The cat is big. The cat is young. If something is red then it eats the bear. If something is cold then it chases the cat. If something is big and it chases the cat then the cat is cold. If something is green then it is big. If something chases the cat and it needs the cat then the cat needs the bear. If something chases the cat and the cat needs the bear then it needs the cat. If the cat eats the bear and the bear is red then the cat is red. If something needs the bear and the bear chases the cat then the bear is young.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is young.
("bear" "is" "young" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is young.
("cat" "is" "young" "+")
If something is red then it eats the bear.
((("something" "is" "red" "+")) -> ("something" "eats" "bear" "+"))
If something is cold then it chases the cat.
((("something" "is" "cold" "+")) -> ("something" "chases" "cat" "+"))
If something is big and it chases the cat then the cat is cold.
((("something" "is" "big" "+") ("something" "chases" "cat" "+")) -> ("cat" "is" "cold" "+"))
If something is green then it is big.
((("something" "is" "green" "+")) -> ("something" "is" "big" "+"))
If something chases the cat and it needs the cat then the cat needs the bear.
((("something" "chases" "cat" "+") ("something" "needs" "cat" "+")) -> ("cat" "needs" "bear" "+"))
If something chases the cat and the cat needs the bear then it needs the cat.
((("something" "chases" "cat" "+") ("cat" "needs" "bear" "+")) -> ("something" "needs" "cat" "+"))
If the cat eats the bear and the bear is red then the cat is red.
((("cat" "eats" "bear" "+") ("bear" "is" "red" "+")) -> ("cat" "is" "red" "+"))
If something needs the bear and the bear chases the cat then the bear is young.
((("something" "needs" "bear" "+") ("bear" "chases" "cat" "+")) -> ("bear" "is" "young" "+"))
The cat eats the bear.
True
1
proof
[(triple10)]
("cat" "eats" "bear" "+")
triple10
The bear is not cold.
False
1
inv-proof
[(triple4)]
("bear" "is" "cold" "-")
triple4
The cat is red.
True
3
proof
[(((triple10 triple6) -> rule7))]
("cat" "is" "red" "+")
((triple10 triple6) -> (rule7 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is not red.
False
3
inv-proof
[(((triple10 triple6) -> rule7))]
("cat" "is" "red" "-")
((triple10 triple6) -> (rule7 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat chases the cat.
True
4
proof
[(((((triple3 triple1) -> rule3)) -> rule2) OR ((((triple3 ((triple4) -> rule2)) -> rule3)) -> rule2) OR ((((((triple5) -> rule4) triple1) -> rule3)) -> rule2) OR ((((((triple5) -> rule4) ((triple4) -> rule2)) -> rule3)) -> rule2))]
("cat" "chases" "cat" "+")
((((triple3 triple1) -> (rule3 % int2))) -> (rule2 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
((((triple3 ((triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The bear chases the cat.
("bear" "chases" "cat" "+")
int3
((((((triple5) -> (rule4 % int3)) triple1) -> (rule3 % int2))) -> (rule2 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The bear is big.
("bear" "is" "big" "+")
int3
((((((triple5) -> (rule4 % int4)) ((triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The bear chases the cat.
("bear" "chases" "cat" "+")
int3
The bear is big.
("bear" "is" "big" "+")
int4
The cat does not chase the cat.
False
4
inv-proof
[(((((triple3 triple1) -> rule3)) -> rule2) OR ((((triple3 ((triple4) -> rule2)) -> rule3)) -> rule2) OR ((((((triple5) -> rule4) triple1) -> rule3)) -> rule2) OR ((((((triple5) -> rule4) ((triple4) -> rule2)) -> rule3)) -> rule2))]
("cat" "chases" "cat" "-")
((((triple3 triple1) -> (rule3 % int2))) -> (rule2 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
((((triple3 ((triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The bear chases the cat.
("bear" "chases" "cat" "+")
int3
((((((triple5) -> (rule4 % int3)) triple1) -> (rule3 % int2))) -> (rule2 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The bear is big.
("bear" "is" "big" "+")
int3
((((((triple5) -> (rule4 % int4)) ((triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The bear chases the cat.
("bear" "chases" "cat" "+")
int3
The bear is big.
("bear" "is" "big" "+")
int4
The cat needs the cat.
True
8
proof
[(((((((triple3 triple1) -> rule3)) -> rule2) ((triple1 triple8) -> rule5)) -> rule6) OR ((((((triple3 triple1) -> rule3)) -> rule2) ((((triple4) -> rule2) triple8) -> rule5)) -> rule6) OR ((((((triple3 ((triple4) -> rule2)) -> rule3)) -> rule2) ((triple1 triple8) -> rule5)) -> rule6) OR ((((((((triple5) -> rule4) triple1) -> rule3)) -> rule2) ((triple1 triple8) -> rule5)) -> rule6) OR ((((((triple3 ((triple4) -> rule2)) -> rule3)) -> rule2) ((((triple4) -> rule2) triple8) -> rule5)) -> rule6) OR ((((((((triple5) -> rule4) triple1) -> rule3)) -> rule2) ((((triple4) -> rule2) triple8) -> rule5)) -> rule6) OR ((((((((triple5) -> rule4) ((triple4) -> rule2)) -> rule3)) -> rule2) ((triple1 triple8) -> rule5)) -> rule6) OR ((((((((triple5) -> rule4) ((triple4) -> rule2)) -> rule3)) -> rule2) ((((triple4) -> rule2) triple8) -> rule5)) -> rule6))]
("cat" "needs" "cat" "+")
((((((triple3 triple1) -> (rule3 % int4))) -> (rule2 % int3)) ((triple1 triple8) -> (rule5 % int2))) -> (rule6 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The cat chases the cat.
("cat" "chases" "cat" "+")
int3
The cat is cold.
("cat" "is" "cold" "+")
int4
((((((triple3 triple1) -> (rule3 % int5))) -> (rule2 % int4)) ((((triple4) -> (rule2 % int3)) triple8) -> (rule5 % int2))) -> (rule6 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The bear chases the cat.
("bear" "chases" "cat" "+")
int3
The cat chases the cat.
("cat" "chases" "cat" "+")
int4
The cat is cold.
("cat" "is" "cold" "+")
int5
((((((triple3 ((triple4) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule2 % int3)) ((triple1 triple8) -> (rule5 % int2))) -> (rule6 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The cat chases the cat.
("cat" "chases" "cat" "+")
int3
The cat is cold.
("cat" "is" "cold" "+")
int4
The bear chases the cat.
("bear" "chases" "cat" "+")
int5
((((((((triple5) -> (rule4 % int5)) triple1) -> (rule3 % int4))) -> (rule2 % int3)) ((triple1 triple8) -> (rule5 % int2))) -> (rule6 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The cat chases the cat.
("cat" "chases" "cat" "+")
int3
The cat is cold.
("cat" "is" "cold" "+")
int4
The bear is big.
("bear" "is" "big" "+")
int5
((((((triple3 ((triple4) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule2 % int3)) ((((triple4) -> (rule2 % int5)) triple8) -> (rule5 % int2))) -> (rule6 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The cat chases the cat.
("cat" "chases" "cat" "+")
int3
The cat is cold.
("cat" "is" "cold" "+")
int4
The bear chases the cat.
("bear" "chases" "cat" "+")
int5
((((((((triple5) -> (rule4 % int6)) triple1) -> (rule3 % int5))) -> (rule2 % int4)) ((((triple4) -> (rule2 % int3)) triple8) -> (rule5 % int2))) -> (rule6 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The bear chases the cat.
("bear" "chases" "cat" "+")
int3
The cat chases the cat.
("cat" "chases" "cat" "+")
int4
The cat is cold.
("cat" "is" "cold" "+")
int5
The bear is big.
("bear" "is" "big" "+")
int6
((((((((triple5) -> (rule4 % int6)) ((triple4) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule2 % int3)) ((triple1 triple8) -> (rule5 % int2))) -> (rule6 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The cat chases the cat.
("cat" "chases" "cat" "+")
int3
The cat is cold.
("cat" "is" "cold" "+")
int4
The bear chases the cat.
("bear" "chases" "cat" "+")
int5
The bear is big.
("bear" "is" "big" "+")
int6
((((((((triple5) -> (rule4 % int6)) ((triple4) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule2 % int3)) ((((triple4) -> (rule2 % int5)) triple8) -> (rule5 % int2))) -> (rule6 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The cat chases the cat.
("cat" "chases" "cat" "+")
int3
The cat is cold.
("cat" "is" "cold" "+")
int4
The bear chases the cat.
("bear" "chases" "cat" "+")
int5
The bear is big.
("bear" "is" "big" "+")
int6
The cat does not need the cat.
False
8
inv-proof
[(((((((triple3 triple1) -> rule3)) -> rule2) ((triple1 triple8) -> rule5)) -> rule6) OR ((((((triple3 triple1) -> rule3)) -> rule2) ((((triple4) -> rule2) triple8) -> rule5)) -> rule6) OR ((((((triple3 ((triple4) -> rule2)) -> rule3)) -> rule2) ((triple1 triple8) -> rule5)) -> rule6) OR ((((((((triple5) -> rule4) triple1) -> rule3)) -> rule2) ((triple1 triple8) -> rule5)) -> rule6) OR ((((((triple3 ((triple4) -> rule2)) -> rule3)) -> rule2) ((((triple4) -> rule2) triple8) -> rule5)) -> rule6) OR ((((((((triple5) -> rule4) triple1) -> rule3)) -> rule2) ((((triple4) -> rule2) triple8) -> rule5)) -> rule6) OR ((((((((triple5) -> rule4) ((triple4) -> rule2)) -> rule3)) -> rule2) ((triple1 triple8) -> rule5)) -> rule6) OR ((((((((triple5) -> rule4) ((triple4) -> rule2)) -> rule3)) -> rule2) ((((triple4) -> rule2) triple8) -> rule5)) -> rule6))]
("cat" "needs" "cat" "-")
((((((triple3 triple1) -> (rule3 % int4))) -> (rule2 % int3)) ((triple1 triple8) -> (rule5 % int2))) -> (rule6 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The cat chases the cat.
("cat" "chases" "cat" "+")
int3
The cat is cold.
("cat" "is" "cold" "+")
int4
((((((triple3 triple1) -> (rule3 % int5))) -> (rule2 % int4)) ((((triple4) -> (rule2 % int3)) triple8) -> (rule5 % int2))) -> (rule6 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The bear chases the cat.
("bear" "chases" "cat" "+")
int3
The cat chases the cat.
("cat" "chases" "cat" "+")
int4
The cat is cold.
("cat" "is" "cold" "+")
int5
((((((triple3 ((triple4) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule2 % int3)) ((triple1 triple8) -> (rule5 % int2))) -> (rule6 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The cat chases the cat.
("cat" "chases" "cat" "+")
int3
The cat is cold.
("cat" "is" "cold" "+")
int4
The bear chases the cat.
("bear" "chases" "cat" "+")
int5
((((((((triple5) -> (rule4 % int5)) triple1) -> (rule3 % int4))) -> (rule2 % int3)) ((triple1 triple8) -> (rule5 % int2))) -> (rule6 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The cat chases the cat.
("cat" "chases" "cat" "+")
int3
The cat is cold.
("cat" "is" "cold" "+")
int4
The bear is big.
("bear" "is" "big" "+")
int5
((((((triple3 ((triple4) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule2 % int3)) ((((triple4) -> (rule2 % int5)) triple8) -> (rule5 % int2))) -> (rule6 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The cat chases the cat.
("cat" "chases" "cat" "+")
int3
The cat is cold.
("cat" "is" "cold" "+")
int4
The bear chases the cat.
("bear" "chases" "cat" "+")
int5
((((((((triple5) -> (rule4 % int6)) triple1) -> (rule3 % int5))) -> (rule2 % int4)) ((((triple4) -> (rule2 % int3)) triple8) -> (rule5 % int2))) -> (rule6 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The bear chases the cat.
("bear" "chases" "cat" "+")
int3
The cat chases the cat.
("cat" "chases" "cat" "+")
int4
The cat is cold.
("cat" "is" "cold" "+")
int5
The bear is big.
("bear" "is" "big" "+")
int6
((((((((triple5) -> (rule4 % int6)) ((triple4) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule2 % int3)) ((triple1 triple8) -> (rule5 % int2))) -> (rule6 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The cat chases the cat.
("cat" "chases" "cat" "+")
int3
The cat is cold.
("cat" "is" "cold" "+")
int4
The bear chases the cat.
("bear" "chases" "cat" "+")
int5
The bear is big.
("bear" "is" "big" "+")
int6
((((((((triple5) -> (rule4 % int6)) ((triple4) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule2 % int3)) ((((triple4) -> (rule2 % int5)) triple8) -> (rule5 % int2))) -> (rule6 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The cat chases the cat.
("cat" "chases" "cat" "+")
int3
The cat is cold.
("cat" "is" "cold" "+")
int4
The bear chases the cat.
("bear" "chases" "cat" "+")
int5
The bear is big.
("bear" "is" "big" "+")
int6
The cat is not green.
Unknown
inv-random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
The cat does not eat the cat.
Unknown
inv-random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
@0: The bear chases the cat.[(triple1 OR ((triple4) -> rule2))] The bear eats the cat.[(triple2)] The bear is big.[(triple3 OR ((triple5) -> rule4))] The bear is cold.[(triple4)] The bear is green.[(triple5)] The bear is red.[(triple6)] The bear is young.[(triple7 OR ((((triple1 triple8) -> rule5) triple1) -> rule8) OR ((((triple1 triple8) -> rule5) ((triple4) -> rule2)) -> rule8) OR ((((((triple4) -> rule2) triple8) -> rule5) triple1) -> rule8) OR ((((((triple4) -> rule2) triple8) -> rule5) ((triple4) -> rule2)) -> rule8))] The bear needs the cat.[(triple8)] The cat chases the bear.[(triple9)] The cat eats the bear.[(triple10)] The cat is big.[(triple11)] The cat is young.[(triple12)] @1: The bear eats the bear.[(((triple6) -> rule1))] The cat is cold.[(((triple3 triple1) -> rule3) OR ((triple3 ((triple4) -> rule2)) -> rule3) OR ((((triple5) -> rule4) triple1) -> rule3) OR ((((triple5) -> rule4) ((triple4) -> rule2)) -> rule3))] The cat is red.[(((triple10 triple6) -> rule7))] The cat needs the bear.[(((triple1 triple8) -> rule5) OR ((((triple4) -> rule2) triple8) -> rule5))] @2: The cat chases the cat.[(((((triple3 triple1) -> rule3)) -> rule2) OR ((((triple3 ((triple4) -> rule2)) -> rule3)) -> rule2) OR ((((((triple5) -> rule4) triple1) -> rule3)) -> rule2) OR ((((((triple5) -> rule4) ((triple4) -> rule2)) -> rule3)) -> rule2))] @3: The cat needs the cat.[(((((((triple3 triple1) -> rule3)) -> rule2) ((triple1 triple8) -> rule5)) -> rule6) OR ((((((triple3 triple1) -> rule3)) -> rule2) ((((triple4) -> rule2) triple8) -> rule5)) -> rule6) OR ((((((triple3 ((triple4) -> rule2)) -> rule3)) -> rule2) ((triple1 triple8) -> rule5)) -> rule6) OR ((((((((triple5) -> rule4) triple1) -> rule3)) -> rule2) ((triple1 triple8) -> rule5)) -> rule6) OR ((((((triple3 ((triple4) -> rule2)) -> rule3)) -> rule2) ((((triple4) -> rule2) triple8) -> rule5)) -> rule6) OR ((((((((triple5) -> rule4) triple1) -> rule3)) -> rule2) ((((triple4) -> rule2) triple8) -> rule5)) -> rule6) OR ((((((((triple5) -> rule4) ((triple4) -> rule2)) -> rule3)) -> rule2) ((triple1 triple8) -> rule5)) -> rule6) OR ((((((((triple5) -> rule4) ((triple4) -> rule2)) -> rule3)) -> rule2) ((((triple4) -> rule2) triple8) -> rule5)) -> rule6))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
((triple4) -> (rule2 % int1))
The bear chases the cat.
("bear" "chases" "cat" "+")
int1
The bear eats the cat.
("bear" "eats" "cat" "+")
triple2
The bear is big.
("bear" "is" "big" "+")
triple3
((triple5) -> (rule4 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
triple4
The bear is green.
("bear" "is" "green" "+")
triple5
The bear is red.
("bear" "is" "red" "+")
triple6
The bear is young.
("bear" "is" "young" "+")
triple7
((((triple1 triple8) -> (rule5 % int2)) triple1) -> (rule8 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
((((triple1 triple8) -> (rule5 % int3)) ((triple4) -> (rule2 % int2))) -> (rule8 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear chases the cat.
("bear" "chases" "cat" "+")
int2
The cat needs the bear.
("cat" "needs" "bear" "+")
int3
((((((triple4) -> (rule2 % int3)) triple8) -> (rule5 % int2)) triple1) -> (rule8 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The bear chases the cat.
("bear" "chases" "cat" "+")
int3
((((((triple4) -> (rule2 % int3)) triple8) -> (rule5 % int2)) ((triple4) -> (rule2 % int3))) -> (rule8 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The bear chases the cat.
("bear" "chases" "cat" "+")
int3
The bear needs the cat.
("bear" "needs" "cat" "+")
triple8
The cat chases the bear.
("cat" "chases" "bear" "+")
triple9
The cat eats the bear.
("cat" "eats" "bear" "+")
triple10
The cat is big.
("cat" "is" "big" "+")
triple11
The cat is young.
("cat" "is" "young" "+")
triple12
The bear eats the bear.
("bear" "eats" "bear" "+")
((triple6) -> (rule1 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
((triple3 triple1) -> (rule3 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
((triple3 ((triple4) -> (rule2 % int2))) -> (rule3 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The bear chases the cat.
("bear" "chases" "cat" "+")
int2
((((triple5) -> (rule4 % int2)) triple1) -> (rule3 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
((((triple5) -> (rule4 % int3)) ((triple4) -> (rule2 % int2))) -> (rule3 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The bear chases the cat.
("bear" "chases" "cat" "+")
int2
The bear is big.
("bear" "is" "big" "+")
int3
The cat is red.
("cat" "is" "red" "+")
((triple10 triple6) -> (rule7 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
((triple1 triple8) -> (rule5 % int1))
The cat needs the bear.
("cat" "needs" "bear" "+")
int1
((((triple4) -> (rule2 % int2)) triple8) -> (rule5 % int1))
The cat needs the bear.
("cat" "needs" "bear" "+")
int1
The bear chases the cat.
("bear" "chases" "cat" "+")
int2
The cat chases the cat.
("cat" "chases" "cat" "+")
((((triple3 triple1) -> (rule3 % int2))) -> (rule2 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
((((triple3 ((triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The bear chases the cat.
("bear" "chases" "cat" "+")
int3
((((((triple5) -> (rule4 % int3)) triple1) -> (rule3 % int2))) -> (rule2 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The bear is big.
("bear" "is" "big" "+")
int3
((((((triple5) -> (rule4 % int4)) ((triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The bear chases the cat.
("bear" "chases" "cat" "+")
int3
The bear is big.
("bear" "is" "big" "+")
int4
The cat needs the cat.
("cat" "needs" "cat" "+")
((((((triple3 triple1) -> (rule3 % int4))) -> (rule2 % int3)) ((triple1 triple8) -> (rule5 % int2))) -> (rule6 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The cat chases the cat.
("cat" "chases" "cat" "+")
int3
The cat is cold.
("cat" "is" "cold" "+")
int4
((((((triple3 triple1) -> (rule3 % int5))) -> (rule2 % int4)) ((((triple4) -> (rule2 % int3)) triple8) -> (rule5 % int2))) -> (rule6 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The bear chases the cat.
("bear" "chases" "cat" "+")
int3
The cat chases the cat.
("cat" "chases" "cat" "+")
int4
The cat is cold.
("cat" "is" "cold" "+")
int5
((((((triple3 ((triple4) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule2 % int3)) ((triple1 triple8) -> (rule5 % int2))) -> (rule6 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The cat chases the cat.
("cat" "chases" "cat" "+")
int3
The cat is cold.
("cat" "is" "cold" "+")
int4
The bear chases the cat.
("bear" "chases" "cat" "+")
int5
((((((((triple5) -> (rule4 % int5)) triple1) -> (rule3 % int4))) -> (rule2 % int3)) ((triple1 triple8) -> (rule5 % int2))) -> (rule6 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The cat chases the cat.
("cat" "chases" "cat" "+")
int3
The cat is cold.
("cat" "is" "cold" "+")
int4
The bear is big.
("bear" "is" "big" "+")
int5
((((((triple3 ((triple4) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule2 % int3)) ((((triple4) -> (rule2 % int5)) triple8) -> (rule5 % int2))) -> (rule6 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The cat chases the cat.
("cat" "chases" "cat" "+")
int3
The cat is cold.
("cat" "is" "cold" "+")
int4
The bear chases the cat.
("bear" "chases" "cat" "+")
int5
((((((((triple5) -> (rule4 % int6)) triple1) -> (rule3 % int5))) -> (rule2 % int4)) ((((triple4) -> (rule2 % int3)) triple8) -> (rule5 % int2))) -> (rule6 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The bear chases the cat.
("bear" "chases" "cat" "+")
int3
The cat chases the cat.
("cat" "chases" "cat" "+")
int4
The cat is cold.
("cat" "is" "cold" "+")
int5
The bear is big.
("bear" "is" "big" "+")
int6
((((((((triple5) -> (rule4 % int6)) ((triple4) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule2 % int3)) ((triple1 triple8) -> (rule5 % int2))) -> (rule6 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The cat chases the cat.
("cat" "chases" "cat" "+")
int3
The cat is cold.
("cat" "is" "cold" "+")
int4
The bear chases the cat.
("bear" "chases" "cat" "+")
int5
The bear is big.
("bear" "is" "big" "+")
int6
((((((((triple5) -> (rule4 % int6)) ((triple4) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule2 % int3)) ((((triple4) -> (rule2 % int5)) triple8) -> (rule5 % int2))) -> (rule6 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The cat chases the cat.
("cat" "chases" "cat" "+")
int3
The cat is cold.
("cat" "is" "cold" "+")
int4
The bear chases the cat.
("bear" "chases" "cat" "+")
int5
The bear is big.
("bear" "is" "big" "+")
int6