The cat likes the squirrel. The cow likes the cat. The lion sees the cow. The squirrel sees the cow. If someone needs the cow then they need the cat.
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The cow likes the cat.
("cow" "likes" "cat" "+")
The lion sees the cow.
("lion" "sees" "cow" "+")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
If someone needs the cow then they need the cat.
((("someone" "needs" "cow" "+")) -> ("someone" "needs" "cat" "+"))
The squirrel sees the cow.
True
1
proof
[(triple4)]
("squirrel" "sees" "cow" "+")
triple4
The lion does not see the cow.
False
1
inv-proof
[(triple3)]
("lion" "sees" "cow" "-")
triple3
The cow does not need the cat.
Unknown
inv-rconc
[@1: The cow needs the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "needs" "cat" "-")
The cow sees the lion.
Unknown
random
[@0: The cow sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "lion" "+")
@0: The cat likes the squirrel.[(triple1)] The cow likes the cat.[(triple2)] The lion sees the cow.[(triple3)] The squirrel sees the cow.[(triple4)]
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple1
The cow likes the cat.
("cow" "likes" "cat" "+")
triple2
The lion sees the cow.
("lion" "sees" "cow" "+")
triple3
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple4