The dog eats the squirrel. The squirrel needs the dog. If the squirrel is young then the squirrel eats the dog. If someone is rough and they chase the squirrel then they need the squirrel.
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
If the squirrel is young then the squirrel eats the dog.
((("squirrel" "is" "young" "+")) -> ("squirrel" "eats" "dog" "+"))
If someone is rough and they chase the squirrel then they need the squirrel.
((("someone" "is" "rough" "+") ("someone" "chases" "squirrel" "+")) -> ("someone" "needs" "squirrel" "+"))
The dog eats the squirrel.
True
1
proof
[(triple1)]
("dog" "eats" "squirrel" "+")
triple1
The squirrel does not need the dog.
False
1
inv-proof
[(triple2)]
("squirrel" "needs" "dog" "-")
triple2
The squirrel does not need the squirrel.
Unknown
inv-rconc
[@1: The squirrel needs the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "needs" "squirrel" "-")
The dog chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
@0: The dog eats the squirrel.[(triple1)] The squirrel needs the dog.[(triple2)]
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple1
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple2