The dog needs the squirrel. The squirrel does not need the dog. If the dog does not need the squirrel then the squirrel eats the dog. If something chases the dog and it eats the dog then it is red. If something chases the dog and it is not red then the dog eats the squirrel.
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The squirrel does not need the dog.
("squirrel" "needs" "dog" "-")
If the dog does not need the squirrel then the squirrel eats the dog.
((("dog" "needs" "squirrel" "~")) -> ("squirrel" "eats" "dog" "+"))
If something chases the dog and it eats the dog then it is red.
((("something" "chases" "dog" "+") ("something" "eats" "dog" "+")) -> ("something" "is" "red" "+"))
If something chases the dog and it is not red then the dog eats the squirrel.
((("something" "chases" "dog" "+") ("something" "is" "red" "~")) -> ("dog" "eats" "squirrel" "+"))
The squirrel does not need the dog.
True
1
proof
[(triple2)]
("squirrel" "needs" "dog" "-")
triple2
The dog does not need the squirrel.
False
1
inv-proof
[(triple1)]
("dog" "needs" "squirrel" "-")
triple1
The squirrel does not eat the dog.
Unknown
inv-rconc
[@1: The squirrel eats the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "eats" "dog" "-")
The dog needs the dog.
Unknown
random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "+")
@0: The dog needs the squirrel.[(triple1)] The squirrel does not need the dog.[(triple2)]
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple1
The squirrel does not need the dog.
("squirrel" "needs" "dog" "-")
triple2