The bear sees the cow. The cow eats the bear. The dog is red. If something needs the dog then it eats the dog.
The bear sees the cow.
("bear" "sees" "cow" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The dog is red.
("dog" "is" "red" "+")
If something needs the dog then it eats the dog.
((("something" "needs" "dog" "+")) -> ("something" "eats" "dog" "+"))
The bear sees the cow.
True
1
proof
[(triple1)]
("bear" "sees" "cow" "+")
triple1
The dog is not red.
False
1
inv-proof
[(triple3)]
("dog" "is" "red" "-")
triple3
The bear does not eat the dog.
Unknown
inv-rconc
[@1: The bear eats the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "eats" "dog" "-")
The bear is blue.
Unknown
random
[@0: The bear is blue.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "blue" "+")
@0: The bear sees the cow.[(triple1)] The cow eats the bear.[(triple2)] The dog is red.[(triple3)]
The bear sees the cow.
("bear" "sees" "cow" "+")
triple1
The cow eats the bear.
("cow" "eats" "bear" "+")
triple2
The dog is red.
("dog" "is" "red" "+")
triple3