The cat likes the squirrel. The dog chases the squirrel. The squirrel chases the dog. If the cat is young then the cat likes the squirrel.
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
If the cat is young then the cat likes the squirrel.
((("cat" "is" "young" "+")) -> ("cat" "likes" "squirrel" "+"))
The squirrel chases the dog.
True
1
proof
[(triple3)]
("squirrel" "chases" "dog" "+")
triple3
The dog does not chase the squirrel.
False
1
inv-proof
[(triple2)]
("dog" "chases" "squirrel" "-")
triple2
The dog does not need the squirrel.
Unknown
inv-random
[@0: The dog needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "squirrel" "-")
The cat needs the dog.
Unknown
random
[@0: The cat needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "dog" "+")
@0: The cat likes the squirrel.[(triple1)] The dog chases the squirrel.[(triple2)] The squirrel chases the dog.[(triple3)]
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple1
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple2
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple3