The bear does not eat the squirrel. The bear visits the mouse. The mouse eats the bear. The mouse is green. The mouse is nice. The mouse is red. The mouse needs the bear. The mouse visits the bear. The squirrel is red. The squirrel visits the bear. If someone eats the squirrel and the squirrel is red then the squirrel does not need the mouse. If someone eats the bear and they need the squirrel then the squirrel eats the mouse. If someone needs the bear and the bear is not young then the bear does not need the mouse. If someone needs the squirrel and the squirrel eats the mouse then the squirrel is nice. If someone is nice and red then they need the squirrel. If someone is red and not young then they visit the bear. If someone eats the bear and they do not visit the mouse then the mouse visits the bear. If someone is young and not nice then they need the mouse.
The bear does not eat the squirrel.
("bear" "eats" "squirrel" "-")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The mouse eats the bear.
("mouse" "eats" "bear" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
The mouse visits the bear.
("mouse" "visits" "bear" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
If someone eats the squirrel and the squirrel is red then the squirrel does not need the mouse.
((("someone" "eats" "squirrel" "+") ("squirrel" "is" "red" "+")) -> ("squirrel" "needs" "mouse" "-"))
If someone eats the bear and they need the squirrel then the squirrel eats the mouse.
((("someone" "eats" "bear" "+") ("someone" "needs" "squirrel" "+")) -> ("squirrel" "eats" "mouse" "+"))
If someone needs the bear and the bear is not young then the bear does not need the mouse.
((("someone" "needs" "bear" "+") ("bear" "is" "young" "~")) -> ("bear" "needs" "mouse" "-"))
If someone needs the squirrel and the squirrel eats the mouse then the squirrel is nice.
((("someone" "needs" "squirrel" "+") ("squirrel" "eats" "mouse" "+")) -> ("squirrel" "is" "nice" "+"))
If someone is nice and red then they need the squirrel.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "needs" "squirrel" "+"))
If someone is red and not young then they visit the bear.
((("someone" "is" "red" "+") ("someone" "is" "young" "~")) -> ("someone" "visits" "bear" "+"))
If someone eats the bear and they do not visit the mouse then the mouse visits the bear.
((("someone" "eats" "bear" "+") ("someone" "visits" "mouse" "~")) -> ("mouse" "visits" "bear" "+"))
If someone is young and not nice then they need the mouse.
((("someone" "is" "young" "+") ("someone" "is" "nice" "~")) -> ("someone" "needs" "mouse" "+"))
The mouse is nice.
True
1
proof
[(triple5)]
("mouse" "is" "nice" "+")
triple5
The squirrel does not visit the bear.
False
1
inv-proof
[(triple10)]
("squirrel" "visits" "bear" "-")
triple10
The mouse needs the squirrel.
True
3
proof
[(((triple5 triple6) -> rule5))]
("mouse" "needs" "squirrel" "+")
((triple5 triple6) -> (rule5 % int1))
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int1
The mouse does not need the squirrel.
False
3
inv-proof
[(((triple5 triple6) -> rule5))]
("mouse" "needs" "squirrel" "-")
((triple5 triple6) -> (rule5 % int1))
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int1
The squirrel eats the mouse.
True
5
proof
[(((triple3 ((triple5 triple6) -> rule5)) -> rule2))]
("squirrel" "eats" "mouse" "+")
((triple3 ((triple5 triple6) -> (rule5 % int2))) -> (rule2 % int1))
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The squirrel does not eat the mouse.
False
5
inv-proof
[(((triple3 ((triple5 triple6) -> rule5)) -> rule2))]
("squirrel" "eats" "mouse" "-")
((triple3 ((triple5 triple6) -> (rule5 % int2))) -> (rule2 % int1))
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The squirrel is nice.
True
9
proof
[(((((triple5 triple6) -> rule5) ((triple3 ((triple5 triple6) -> rule5)) -> rule2)) -> rule4))]
("squirrel" "is" "nice" "+")
((((triple5 triple6) -> (rule5 % int3)) ((triple3 ((triple5 triple6) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int2
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int3
The squirrel is not nice.
False
9
inv-proof
[(((((triple5 triple6) -> rule5) ((triple3 ((triple5 triple6) -> rule5)) -> rule2)) -> rule4))]
("squirrel" "is" "nice" "-")
((((triple5 triple6) -> (rule5 % int3)) ((triple3 ((triple5 triple6) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int2
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int3
The mouse does not need the mouse.
Unknown
inv-rconc
[@1: The mouse needs the mouse.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("mouse" "needs" "mouse" "-")
The bear visits the bear.
Unknown
rconc
[@1: The bear visits the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "visits" "bear" "+")
The squirrel does not need the mouse.
Unknown
inv-rconc
[@1: The squirrel needs the mouse.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("squirrel" "needs" "mouse" "-")
The bear needs the mouse.
Unknown
rconc
[@1: The bear needs the mouse.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bear" "needs" "mouse" "+")
The bear is not big.
Unknown
inv-random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "-")
The squirrel visits the mouse.
Unknown
random
[@0: The squirrel visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "mouse" "+")
The squirrel is not big.
Unknown
inv-random
[@0: The squirrel is big.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "big" "-")
The squirrel visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
@0: The bear does not eat the squirrel.[(triple1)] The bear visits the mouse.[(triple2)] The mouse eats the bear.[(triple3)] The mouse is green.[(triple4)] The mouse is nice.[(triple5)] The mouse is red.[(triple6)] The mouse needs the bear.[(triple7)] The mouse visits the bear.[(triple8)] The squirrel is red.[(triple9)] The squirrel visits the bear.[(triple10)] @1: The mouse needs the squirrel.[(((triple5 triple6) -> rule5))] @2: The squirrel eats the mouse.[(((triple3 ((triple5 triple6) -> rule5)) -> rule2))] @3: The squirrel is nice.[(((((triple5 triple6) -> rule5) ((triple3 ((triple5 triple6) -> rule5)) -> rule2)) -> rule4))] @4: The squirrel needs the squirrel.[(((((((triple5 triple6) -> rule5) ((triple3 ((triple5 triple6) -> rule5)) -> rule2)) -> rule4) triple9) -> rule5))]
The bear does not eat the squirrel.
("bear" "eats" "squirrel" "-")
triple1
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple2
The mouse eats the bear.
("mouse" "eats" "bear" "+")
triple3
The mouse is green.
("mouse" "is" "green" "+")
triple4
The mouse is nice.
("mouse" "is" "nice" "+")
triple5
The mouse is red.
("mouse" "is" "red" "+")
triple6
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple7
The mouse visits the bear.
("mouse" "visits" "bear" "+")
triple8
The squirrel is red.
("squirrel" "is" "red" "+")
triple9
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple10
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
((triple5 triple6) -> (rule5 % int1))
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int1
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
((triple3 ((triple5 triple6) -> (rule5 % int2))) -> (rule2 % int1))
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The squirrel is nice.
("squirrel" "is" "nice" "+")
((((triple5 triple6) -> (rule5 % int3)) ((triple3 ((triple5 triple6) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int2
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int3
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
((((((triple5 triple6) -> (rule5 % int4)) ((triple3 ((triple5 triple6) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple9) -> (rule5 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int3
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int4