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