The bear eats the mouse. The bear is green. The bear is not red. The bear needs the mouse. The bear needs the rabbit. The bear sees the mouse. The mouse does not eat the rabbit. The mouse is green. The mouse is red. The mouse does not need the bear. The mouse needs the rabbit. The mouse sees the bear. The mouse does not see the rabbit. The rabbit is rough. The rabbit sees the mouse. Red people are not rough. If someone sees the bear then the bear needs the rabbit.
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is not red.
("bear" "is" "red" "-")
The bear needs the mouse.
("bear" "needs" "mouse" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The mouse does not eat the rabbit.
("mouse" "eats" "rabbit" "-")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse does not need the bear.
("mouse" "needs" "bear" "-")
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The mouse sees the bear.
("mouse" "sees" "bear" "+")
The mouse does not see the rabbit.
("mouse" "sees" "rabbit" "-")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
Red people are not rough.
((("someone" "is" "red" "+")) -> ("someone" "is" "rough" "-"))
If someone sees the bear then the bear needs the rabbit.
((("someone" "sees" "bear" "+")) -> ("bear" "needs" "rabbit" "+"))
The mouse is green.
True
1
proof
[(triple8)]
("mouse" "is" "green" "+")
triple8
The mouse does not need the rabbit.
False
1
inv-proof
[(triple11)]
("mouse" "needs" "rabbit" "-")
triple11
The mouse is not rough.
True
2
proof
[(((triple9) -> rule1))]
("mouse" "is" "rough" "-")
((triple9) -> (rule1 % int1))
The mouse is not rough.
("mouse" "is" "rough" "-")
int1
The mouse is rough.
False
2
inv-proof
[(((triple9) -> rule1))]
("mouse" "is" "rough" "+")
((triple9) -> (rule1 % int1))
The mouse is not rough.
("mouse" "is" "rough" "-")
int1
The rabbit does not eat the mouse.
Unknown
inv-random
[@0: The rabbit eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "mouse" "-")
The rabbit needs the rabbit.
Unknown
random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "+")
The mouse does not eat the mouse.
Unknown
inv-random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "-")
The bear is young.
Unknown
random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "+")
@0: The bear eats the mouse.[(triple1)] The bear is green.[(triple2)] The bear is not red.[(triple3)] The bear needs the mouse.[(triple4)] The bear needs the rabbit.[(triple5 OR ((triple12) -> rule2))] The bear sees the mouse.[(triple6)] The mouse does not eat the rabbit.[(triple7)] The mouse does not need the bear.[(triple10)] The mouse does not see the rabbit.[(triple13)] The mouse is green.[(triple8)] The mouse is red.[(triple9)] The mouse needs the rabbit.[(triple11)] The mouse sees the bear.[(triple12)] The rabbit is rough.[(triple14)] The rabbit sees the mouse.[(triple15)] @1: The mouse is not rough.[(((triple9) -> rule1))]
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The bear is not red.
("bear" "is" "red" "-")
triple3
The bear needs the mouse.
("bear" "needs" "mouse" "+")
triple4
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple5
((triple12) -> (rule2 % int1))
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
int1
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple6
The mouse does not eat the rabbit.
("mouse" "eats" "rabbit" "-")
triple7
The mouse does not need the bear.
("mouse" "needs" "bear" "-")
triple10
The mouse does not see the rabbit.
("mouse" "sees" "rabbit" "-")
triple13
The mouse is green.
("mouse" "is" "green" "+")
triple8
The mouse is red.
("mouse" "is" "red" "+")
triple9
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple11
The mouse sees the bear.
("mouse" "sees" "bear" "+")
triple12
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple14
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
triple15
The mouse is not rough.
("mouse" "is" "rough" "-")
((triple9) -> (rule1 % int1))
The mouse is not rough.
("mouse" "is" "rough" "-")
int1