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