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