The bear eats the mouse. The bear is red. The bear is young. The bear does not see the mouse. The bear visits the mouse. The mouse does not eat the bear. The mouse is rough. The mouse is young. The mouse does not see the bear. The mouse does not visit the bear. Red things are rough. If something sees the bear then the bear visits the mouse. If something visits the bear and the bear sees the mouse then the mouse does not eat the bear. If something eats the mouse and the mouse sees the bear then the mouse eats the bear. If the mouse is cold and the mouse eats the bear then the bear does not eat the mouse. If something visits the mouse then it eats the bear. If something eats the mouse and the mouse visits the bear then the mouse is round. If the bear sees the mouse then the mouse does not visit the bear.
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is young.
("bear" "is" "young" "+")
The bear does not see the mouse.
("bear" "sees" "mouse" "-")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The mouse does not eat the bear.
("mouse" "eats" "bear" "-")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse does not see the bear.
("mouse" "sees" "bear" "-")
The mouse does not visit the bear.
("mouse" "visits" "bear" "-")
Red things are rough.
((("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
If something sees the bear then the bear visits the mouse.
((("something" "sees" "bear" "+")) -> ("bear" "visits" "mouse" "+"))
If something visits the bear and the bear sees the mouse then the mouse does not eat the bear.
((("something" "visits" "bear" "+") ("bear" "sees" "mouse" "+")) -> ("mouse" "eats" "bear" "-"))
If something eats the mouse and the mouse sees the bear then the mouse eats the bear.
((("something" "eats" "mouse" "+") ("mouse" "sees" "bear" "+")) -> ("mouse" "eats" "bear" "+"))
If the mouse is cold and the mouse eats the bear then the bear does not eat the mouse.
((("mouse" "is" "cold" "+") ("mouse" "eats" "bear" "+")) -> ("bear" "eats" "mouse" "-"))
If something visits the mouse then it eats the bear.
((("something" "visits" "mouse" "+")) -> ("something" "eats" "bear" "+"))
If something eats the mouse and the mouse visits the bear then the mouse is round.
((("something" "eats" "mouse" "+") ("mouse" "visits" "bear" "+")) -> ("mouse" "is" "round" "+"))
If the bear sees the mouse then the mouse does not visit the bear.
((("bear" "sees" "mouse" "+")) -> ("mouse" "visits" "bear" "-"))
The bear visits the mouse.
True
1
proof
[(triple5)]
("bear" "visits" "mouse" "+")
triple5
The bear is not red.
False
1
inv-proof
[(triple2)]
("bear" "is" "red" "-")
triple2
The mouse is not round.
Unknown
inv-rconc
[@1: The mouse is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("mouse" "is" "round" "-")
The bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
@0: The bear does not see the mouse.[(triple4)] The bear eats the mouse.[(triple1)] The bear is red.[(triple2)] The bear is young.[(triple3)] The bear visits the mouse.[(triple5)] The mouse does not eat the bear.[(triple6)] The mouse does not see the bear.[(triple9)] The mouse does not visit the bear.[(triple10)] The mouse is rough.[(triple7)] The mouse is young.[(triple8)] @1: The bear eats the bear.[(((triple5) -> rule6))] The bear is rough.[(((triple2) -> rule1))]
The bear does not see the mouse.
("bear" "sees" "mouse" "-")
triple4
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple1
The bear is red.
("bear" "is" "red" "+")
triple2
The bear is young.
("bear" "is" "young" "+")
triple3
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple5
The mouse does not eat the bear.
("mouse" "eats" "bear" "-")
triple6
The mouse does not see the bear.
("mouse" "sees" "bear" "-")
triple9
The mouse does not visit the bear.
("mouse" "visits" "bear" "-")
triple10
The mouse is rough.
("mouse" "is" "rough" "+")
triple7
The mouse is young.
("mouse" "is" "young" "+")
triple8
The bear eats the bear.
("bear" "eats" "bear" "+")
((triple5) -> (rule6 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
((triple2) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1