The cat eats the cow. The cat eats the squirrel. The cat is green. The cat likes the cow. The cat does not like the squirrel. The cat sees the cow. The cat sees the squirrel. The cow is cold. The cow does not see the squirrel. The squirrel eats the cat. The squirrel is big. The squirrel is young. The squirrel likes the cat. The squirrel likes the cow. The squirrel sees the cow. If someone eats the cat then the cat is young.
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The cat is green.
("cat" "is" "green" "+")
The cat likes the cow.
("cat" "likes" "cow" "+")
The cat does not like the squirrel.
("cat" "likes" "squirrel" "-")
The cat sees the cow.
("cat" "sees" "cow" "+")
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow does not see the squirrel.
("cow" "sees" "squirrel" "-")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
If someone eats the cat then the cat is young.
((("someone" "eats" "cat" "+")) -> ("cat" "is" "young" "+"))
The cat likes the cow.
True
1
proof
[(triple4)]
("cat" "likes" "cow" "+")
triple4
The cat is not green.
False
1
inv-proof
[(triple3)]
("cat" "is" "green" "-")
triple3
The cat is young.
True
2
proof
[(((triple10) -> rule1))]
("cat" "is" "young" "+")
((triple10) -> (rule1 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat is not young.
False
2
inv-proof
[(((triple10) -> rule1))]
("cat" "is" "young" "-")
((triple10) -> (rule1 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The squirrel does not see the cat.
Unknown
inv-random
[@0: The squirrel sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "cat" "-")
The cow sees the cat.
Unknown
random
[@0: The cow sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cat" "+")
The cow is not big.
Unknown
inv-random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "-")
The squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
@0: The cat does not like the squirrel.[(triple5)] The cat eats the cow.[(triple1)] The cat eats the squirrel.[(triple2)] The cat is green.[(triple3)] The cat likes the cow.[(triple4)] The cat sees the cow.[(triple6)] The cat sees the squirrel.[(triple7)] The cow does not see the squirrel.[(triple9)] The cow is cold.[(triple8)] The squirrel eats the cat.[(triple10)] The squirrel is big.[(triple11)] The squirrel is young.[(triple12)] The squirrel likes the cat.[(triple13)] The squirrel likes the cow.[(triple14)] The squirrel sees the cow.[(triple15)] @1: The cat is young.[(((triple10) -> rule1))]
The cat does not like the squirrel.
("cat" "likes" "squirrel" "-")
triple5
The cat eats the cow.
("cat" "eats" "cow" "+")
triple1
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple2
The cat is green.
("cat" "is" "green" "+")
triple3
The cat likes the cow.
("cat" "likes" "cow" "+")
triple4
The cat sees the cow.
("cat" "sees" "cow" "+")
triple6
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple7
The cow does not see the squirrel.
("cow" "sees" "squirrel" "-")
triple9
The cow is cold.
("cow" "is" "cold" "+")
triple8
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple10
The squirrel is big.
("squirrel" "is" "big" "+")
triple11
The squirrel is young.
("squirrel" "is" "young" "+")
triple12
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple13
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple14
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple15
The cat is young.
("cat" "is" "young" "+")
((triple10) -> (rule1 % int1))
The cat is young.
("cat" "is" "young" "+")
int1