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