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