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