The cat chases the squirrel. The cat eats the squirrel. The squirrel eats the cat. If someone chases the squirrel then they do not chase the cat.
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
If someone chases the squirrel then they do not chase the cat.
((("someone" "chases" "squirrel" "+")) -> ("someone" "chases" "cat" "-"))
The cat chases the squirrel.
True
1
proof
[(triple1)]
("cat" "chases" "squirrel" "+")
triple1
The cat does not chase the squirrel.
False
1
inv-proof
[(triple1)]
("cat" "chases" "squirrel" "-")
triple1
The cat does not chase the cat.
True
2
proof
[(((triple1) -> rule1))]
("cat" "chases" "cat" "-")
((triple1) -> (rule1 % int1))
The cat does not chase the cat.
("cat" "chases" "cat" "-")
int1
The cat chases the cat.
False
2
inv-proof
[(((triple1) -> rule1))]
("cat" "chases" "cat" "+")
((triple1) -> (rule1 % int1))
The cat does not chase the cat.
("cat" "chases" "cat" "-")
int1
The cat is not round.
Unknown
inv-random
[@0: The cat is round.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "round" "-")
The squirrel chases the cat.
Unknown
random
[@0: The squirrel chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "cat" "+")
The squirrel does not chase the squirrel.
Unknown
inv-random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "-")
The squirrel is cold.
Unknown
random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "+")
@0: The cat chases the squirrel.[(triple1)] The cat eats the squirrel.[(triple2)] The squirrel eats the cat.[(triple3)] @1: The cat does not chase the cat.[(((triple1) -> rule1))]
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple1
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple2
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple3
The cat does not chase the cat.
("cat" "chases" "cat" "-")
((triple1) -> (rule1 % int1))
The cat does not chase the cat.
("cat" "chases" "cat" "-")
int1