The bear eats the mouse. The bear is green. The bear is red. The bear is rough. The bear needs the mouse. The bear sees the mouse. The mouse eats the bear. The mouse is green. The mouse is rough. The mouse needs the bear. If someone sees the mouse and the mouse sees the bear then the mouse is blue. If the bear eats the mouse then the bear is blue. If someone is blue then they eat the bear.
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear needs the mouse.
("bear" "needs" "mouse" "+")
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The mouse eats the bear.
("mouse" "eats" "bear" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
If someone sees the mouse and the mouse sees the bear then the mouse is blue.
((("someone" "sees" "mouse" "+") ("mouse" "sees" "bear" "+")) -> ("mouse" "is" "blue" "+"))
If the bear eats the mouse then the bear is blue.
((("bear" "eats" "mouse" "+")) -> ("bear" "is" "blue" "+"))
If someone is blue then they eat the bear.
((("someone" "is" "blue" "+")) -> ("someone" "eats" "bear" "+"))
The bear eats the mouse.
True
1
proof
[(triple1)]
("bear" "eats" "mouse" "+")
triple1
The mouse is not rough.
False
1
inv-proof
[(triple9)]
("mouse" "is" "rough" "-")
triple9
The bear is blue.
True
2
proof
[(((triple1) -> rule2))]
("bear" "is" "blue" "+")
((triple1) -> (rule2 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is not blue.
False
2
inv-proof
[(((triple1) -> rule2))]
("bear" "is" "blue" "-")
((triple1) -> (rule2 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear eats the bear.
True
3
proof
[(((((triple1) -> rule2)) -> rule3))]
("bear" "eats" "bear" "+")
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear does not eat the bear.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule3))]
("bear" "eats" "bear" "-")
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The mouse is not blue.
Unknown
inv-rconc
[@1: The mouse is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "blue" "-")
The bear is young.
Unknown
random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "+")
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 mouse sees the bear.
Unknown
random
[@0: The mouse sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "bear" "+")
The mouse does not see the mouse.
Unknown
inv-random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "-")
The mouse needs the mouse.
Unknown
random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "+")
@0: The bear eats the mouse.[(triple1)] The bear is green.[(triple2)] The bear is red.[(triple3)] The bear is rough.[(triple4)] The bear needs the mouse.[(triple5)] The bear sees the mouse.[(triple6)] The mouse eats the bear.[(triple7)] The mouse is green.[(triple8)] The mouse is rough.[(triple9)] The mouse needs the bear.[(triple10)] @1: The bear is blue.[(((triple1) -> rule2))] @2: The bear eats the bear.[(((((triple1) -> rule2)) -> rule3))]
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The bear is red.
("bear" "is" "red" "+")
triple3
The bear is rough.
("bear" "is" "rough" "+")
triple4
The bear needs the mouse.
("bear" "needs" "mouse" "+")
triple5
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple6
The mouse eats the bear.
("mouse" "eats" "bear" "+")
triple7
The mouse is green.
("mouse" "is" "green" "+")
triple8
The mouse is rough.
("mouse" "is" "rough" "+")
triple9
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple10
The bear is blue.
("bear" "is" "blue" "+")
((triple1) -> (rule2 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2