The bear is rough. The bear needs the mouse. The bear sees the mouse. The bear visits the mouse. The mouse is green. The mouse is nice. The mouse is rough. The mouse needs the bear. The mouse sees the bear. The mouse visits the bear. If someone is cold and round then they need the bear. If someone needs the mouse and the mouse is rough then the mouse is nice. If someone visits the mouse then the mouse visits the bear.
The bear is rough.
("bear" "is" "rough" "+")
The bear needs the mouse.
("bear" "needs" "mouse" "+")
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
The mouse sees the bear.
("mouse" "sees" "bear" "+")
The mouse visits the bear.
("mouse" "visits" "bear" "+")
If someone is cold and round then they need the bear.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "needs" "bear" "+"))
If someone needs the mouse and the mouse is rough then the mouse is nice.
((("someone" "needs" "mouse" "+") ("mouse" "is" "rough" "+")) -> ("mouse" "is" "nice" "+"))
If someone visits the mouse then the mouse visits the bear.
((("someone" "visits" "mouse" "+")) -> ("mouse" "visits" "bear" "+"))
The bear is rough.
True
1
proof
[(triple1)]
("bear" "is" "rough" "+")
triple1
The bear does not visit the mouse.
False
1
inv-proof
[(triple4)]
("bear" "visits" "mouse" "-")
triple4
The bear does not need the bear.
Unknown
inv-rconc
[@1: The bear needs the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "needs" "bear" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
@0: The bear is rough.[(triple1)] The bear needs the mouse.[(triple2)] The bear sees the mouse.[(triple3)] The bear visits the mouse.[(triple4)] The mouse is green.[(triple5)] The mouse is nice.[(triple6 OR ((triple2 triple7) -> rule2))] The mouse is rough.[(triple7)] The mouse needs the bear.[(triple8)] The mouse sees the bear.[(triple9)] The mouse visits the bear.[(triple10 OR ((triple4) -> rule3))]
The bear is rough.
("bear" "is" "rough" "+")
triple1
The bear needs the mouse.
("bear" "needs" "mouse" "+")
triple2
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple3
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple4
The mouse is green.
("mouse" "is" "green" "+")
triple5
The mouse is nice.
("mouse" "is" "nice" "+")
triple6
((triple2 triple7) -> (rule2 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
triple7
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple8
The mouse sees the bear.
("mouse" "sees" "bear" "+")
triple9
The mouse visits the bear.
("mouse" "visits" "bear" "+")
triple10
((triple4) -> (rule3 % int1))
The mouse visits the bear.
("mouse" "visits" "bear" "+")
int1