The bear is green. The bear is young. The bear needs the squirrel. The cat needs the rabbit. The rabbit does not visit the cat. The squirrel sees the rabbit. The squirrel does not visit the cat. If the bear is green and the bear sees the cat then the cat visits the squirrel.
The bear is green.
("bear" "is" "green" "+")
The bear is young.
("bear" "is" "young" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
The rabbit does not visit the cat.
("rabbit" "visits" "cat" "-")
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
The squirrel does not visit the cat.
("squirrel" "visits" "cat" "-")
If the bear is green and the bear sees the cat then the cat visits the squirrel.
((("bear" "is" "green" "+") ("bear" "sees" "cat" "+")) -> ("cat" "visits" "squirrel" "+"))
The bear is green.
True
1
proof
[(triple1)]
("bear" "is" "green" "+")
triple1
The rabbit visits the cat.
False
1
inv-proof
[(triple5)]
("rabbit" "visits" "cat" "+")
triple5
The cat does not visit the squirrel.
Unknown
inv-rconc
[@1: The cat visits the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "visits" "squirrel" "-")
The cat visits the bear.
Unknown
random
[@0: The cat visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "bear" "+")
@0: The bear is green.[(triple1)] The bear is young.[(triple2)] The bear needs the squirrel.[(triple3)] The cat needs the rabbit.[(triple4)] The rabbit does not visit the cat.[(triple5)] The squirrel does not visit the cat.[(triple7)] The squirrel sees the rabbit.[(triple6)]
The bear is green.
("bear" "is" "green" "+")
triple1
The bear is young.
("bear" "is" "young" "+")
triple2
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple3
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
triple4
The rabbit does not visit the cat.
("rabbit" "visits" "cat" "-")
triple5
The squirrel does not visit the cat.
("squirrel" "visits" "cat" "-")
triple7
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
triple6