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