The cat eats the squirrel. The cat is big. The cat is blue. The cat is green. The cat is round. The cat is young. The cat likes the squirrel. The cat sees the squirrel. The squirrel eats the cat. The squirrel is big. The squirrel is blue. The squirrel is green. The squirrel is round. The squirrel is young. The squirrel likes the cat. The squirrel sees the cat. If something eats the cat and it is green then the cat eats the squirrel. If something eats the cat and the cat eats the squirrel then the cat sees the squirrel. If something eats the cat then it is blue. If something sees the cat then the cat is round. If something sees the cat and it is round then it is big. If something sees the squirrel and it sees the cat then the cat is round. If something likes the cat and it sees the squirrel then it eats the cat. If something is green and blue then it eats the cat.
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is round.
("cat" "is" "round" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
If something eats the cat and it is green then the cat eats the squirrel.
((("something" "eats" "cat" "+") ("something" "is" "green" "+")) -> ("cat" "eats" "squirrel" "+"))
If something eats the cat and the cat eats the squirrel then the cat sees the squirrel.
((("something" "eats" "cat" "+") ("cat" "eats" "squirrel" "+")) -> ("cat" "sees" "squirrel" "+"))
If something eats the cat then it is blue.
((("something" "eats" "cat" "+")) -> ("something" "is" "blue" "+"))
If something sees the cat then the cat is round.
((("something" "sees" "cat" "+")) -> ("cat" "is" "round" "+"))
If something sees the cat and it is round then it is big.
((("something" "sees" "cat" "+") ("something" "is" "round" "+")) -> ("something" "is" "big" "+"))
If something sees the squirrel and it sees the cat then the cat is round.
((("something" "sees" "squirrel" "+") ("something" "sees" "cat" "+")) -> ("cat" "is" "round" "+"))
If something likes the cat and it sees the squirrel then it eats the cat.
((("something" "likes" "cat" "+") ("something" "sees" "squirrel" "+")) -> ("something" "eats" "cat" "+"))
If something is green and blue then it eats the cat.
((("something" "is" "green" "+") ("something" "is" "blue" "+")) -> ("something" "eats" "cat" "+"))
The squirrel likes the cat.
True
1
proof
[(triple15)]
("squirrel" "likes" "cat" "+")
triple15
The squirrel is not blue.
False
1
inv-proof
[(triple11 OR ((triple9) -> rule3))]
("squirrel" "is" "blue" "-")
triple11
((triple9) -> (rule3 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The cat eats the cat.
True
3
proof
[(((triple4 triple3) -> rule8))]
("cat" "eats" "cat" "+")
((triple4 triple3) -> (rule8 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat does not eat the cat.
False
3
inv-proof
[(((triple4 triple3) -> rule8))]
("cat" "eats" "cat" "-")
((triple4 triple3) -> (rule8 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The squirrel does not eat the squirrel.
Unknown
inv-random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "-")
The squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
The squirrel does not see the squirrel.
Unknown
inv-random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "-")
The cat likes the cat.
Unknown
random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "+")
@0: The cat eats the squirrel.[(triple1 OR ((triple9 triple12) -> rule1) OR ((((triple12 triple11) -> rule8) triple12) -> rule1) OR ((((triple4 triple3) -> rule8) triple4) -> rule1))] The cat is big.[(triple2)] The cat is blue.[(triple3)] The cat is green.[(triple4)] The cat is round.[(triple5 OR ((triple16) -> rule4))] The cat is young.[(triple6)] The cat likes the squirrel.[(triple7)] The cat sees the squirrel.[(triple8 OR ((triple9 triple1) -> rule2) OR ((triple9 ((triple9 triple12) -> rule1)) -> rule2) OR ((((triple12 triple11) -> rule8) triple1) -> rule2) OR ((((triple4 triple3) -> rule8) triple1) -> rule2) OR ((((triple12 triple11) -> rule8) ((triple9 triple12) -> rule1)) -> rule2) OR ((((triple4 triple3) -> rule8) ((triple9 triple12) -> rule1)) -> rule2) OR ((triple9 ((((triple12 triple11) -> rule8) triple12) -> rule1)) -> rule2) OR ((triple9 ((((triple4 triple3) -> rule8) triple4) -> rule1)) -> rule2) OR ((((triple12 triple11) -> rule8) ((((triple12 triple11) -> rule8) triple12) -> rule1)) -> rule2) OR ((((triple12 triple11) -> rule8) ((((triple4 triple3) -> rule8) triple4) -> rule1)) -> rule2) OR ((((triple4 triple3) -> rule8) ((((triple12 triple11) -> rule8) triple12) -> rule1)) -> rule2) OR ((((triple4 triple3) -> rule8) ((((triple4 triple3) -> rule8) triple4) -> rule1)) -> rule2))] The squirrel eats the cat.[(triple9 OR ((triple12 triple11) -> rule8))] The squirrel is big.[(triple10 OR ((triple16 triple13) -> rule5))] The squirrel is blue.[(triple11 OR ((triple9) -> rule3))] The squirrel is green.[(triple12)] The squirrel is round.[(triple13)] The squirrel is young.[(triple14)] The squirrel likes the cat.[(triple15)] The squirrel sees the cat.[(triple16)] @1: The cat eats the cat.[(((triple4 triple3) -> rule8))]
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple1
((triple9 triple12) -> (rule1 % int1))
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int1
((((triple12 triple11) -> (rule8 % int2)) triple12) -> (rule1 % int1))
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int1
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int2
((((triple4 triple3) -> (rule8 % int2)) triple4) -> (rule1 % int1))
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2
The cat is big.
("cat" "is" "big" "+")
triple2
The cat is blue.
("cat" "is" "blue" "+")
triple3
The cat is green.
("cat" "is" "green" "+")
triple4
The cat is round.
("cat" "is" "round" "+")
triple5
((triple16) -> (rule4 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The cat is young.
("cat" "is" "young" "+")
triple6
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple7
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple8
((triple9 triple1) -> (rule2 % int1))
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
int1
((triple9 ((triple9 triple12) -> (rule1 % int2))) -> (rule2 % int1))
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
int1
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int2
((((triple12 triple11) -> (rule8 % int2)) triple1) -> (rule2 % int1))
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
int1
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int2
((((triple4 triple3) -> (rule8 % int2)) triple1) -> (rule2 % int1))
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2
((((triple12 triple11) -> (rule8 % int3)) ((triple9 triple12) -> (rule1 % int2))) -> (rule2 % int1))
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
int1
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int2
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int3
((((triple4 triple3) -> (rule8 % int3)) ((triple9 triple12) -> (rule1 % int2))) -> (rule2 % int1))
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
int1
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int2
The cat eats the cat.
("cat" "eats" "cat" "+")
int3
((triple9 ((((triple12 triple11) -> (rule8 % int3)) triple12) -> (rule1 % int2))) -> (rule2 % int1))
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
int1
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int2
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int3
((triple9 ((((triple4 triple3) -> (rule8 % int3)) triple4) -> (rule1 % int2))) -> (rule2 % int1))
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
int1
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int2
The cat eats the cat.
("cat" "eats" "cat" "+")
int3
((((triple12 triple11) -> (rule8 % int3)) ((((triple12 triple11) -> (rule8 % int3)) triple12) -> (rule1 % int2))) -> (rule2 % int1))
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
int1
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int2
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int3
((((triple12 triple11) -> (rule8 % int4)) ((((triple4 triple3) -> (rule8 % int3)) triple4) -> (rule1 % int2))) -> (rule2 % int1))
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
int1
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int2
The cat eats the cat.
("cat" "eats" "cat" "+")
int3
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int4
((((triple4 triple3) -> (rule8 % int4)) ((((triple12 triple11) -> (rule8 % int3)) triple12) -> (rule1 % int2))) -> (rule2 % int1))
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
int1
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int2
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int3
The cat eats the cat.
("cat" "eats" "cat" "+")
int4
((((triple4 triple3) -> (rule8 % int3)) ((((triple4 triple3) -> (rule8 % int3)) triple4) -> (rule1 % int2))) -> (rule2 % int1))
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
int1
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int2
The cat eats the cat.
("cat" "eats" "cat" "+")
int3
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple9
((triple12 triple11) -> (rule8 % int1))
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
triple10
((triple16 triple13) -> (rule5 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple11
((triple9) -> (rule3 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
triple12
The squirrel is round.
("squirrel" "is" "round" "+")
triple13
The squirrel is young.
("squirrel" "is" "young" "+")
triple14
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple15
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple16
The cat eats the cat.
("cat" "eats" "cat" "+")
((triple4 triple3) -> (rule8 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1