The cat eats the squirrel. The cat is big. The squirrel sees the cat. If someone eats the squirrel and the squirrel sees the cat then they do not see the squirrel.
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The cat is big.
("cat" "is" "big" "+")
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
If someone eats the squirrel and the squirrel sees the cat then they do not see the squirrel.
((("someone" "eats" "squirrel" "+") ("squirrel" "sees" "cat" "+")) -> ("someone" "sees" "squirrel" "-"))
The cat eats the squirrel.
True
1
proof
[(triple1)]
("cat" "eats" "squirrel" "+")
triple1
The cat is not big.
False
1
inv-proof
[(triple2)]
("cat" "is" "big" "-")
triple2
The cat does not see the squirrel.
True
3
proof
[(((triple1 triple3) -> rule1))]
("cat" "sees" "squirrel" "-")
((triple1 triple3) -> (rule1 % int1))
The cat does not see the squirrel.
("cat" "sees" "squirrel" "-")
int1
The cat sees the squirrel.
False
3
inv-proof
[(((triple1 triple3) -> rule1))]
("cat" "sees" "squirrel" "+")
((triple1 triple3) -> (rule1 % int1))
The cat does not see the squirrel.
("cat" "sees" "squirrel" "-")
int1
The squirrel does not eat the cat.
Unknown
inv-random
[@0: The squirrel eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "cat" "-")
The cat visits the squirrel.
Unknown
random
[@0: The cat visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "squirrel" "+")
The cat is not red.
Unknown
inv-random
[@0: The cat is red.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "red" "-")
The squirrel visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
@0: The cat eats the squirrel.[(triple1)] The cat is big.[(triple2)] The squirrel sees the cat.[(triple3)] @1: The cat does not see the squirrel.[(((triple1 triple3) -> rule1))]
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple1
The cat is big.
("cat" "is" "big" "+")
triple2
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple3
The cat does not see the squirrel.
("cat" "sees" "squirrel" "-")
((triple1 triple3) -> (rule1 % int1))
The cat does not see the squirrel.
("cat" "sees" "squirrel" "-")
int1