The mouse is not big. The mouse is nice. The mouse is red. The mouse is rough. The mouse does not like the squirrel. The mouse needs the squirrel. The mouse sees the squirrel. The squirrel is not big. The squirrel is nice. The squirrel is not red. The squirrel is rough. The squirrel is young. The squirrel likes the mouse. The squirrel needs the mouse. The squirrel does not see the mouse. If someone likes the mouse and the mouse is nice then they like the squirrel. If someone sees the squirrel then the squirrel does not see the mouse. If someone likes the squirrel and they do not see the squirrel then they need the mouse.
The mouse is not big.
("mouse" "is" "big" "-")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse does not like the squirrel.
("mouse" "likes" "squirrel" "-")
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
The squirrel is not big.
("squirrel" "is" "big" "-")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is not red.
("squirrel" "is" "red" "-")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
The squirrel does not see the mouse.
("squirrel" "sees" "mouse" "-")
If someone likes the mouse and the mouse is nice then they like the squirrel.
((("someone" "likes" "mouse" "+") ("mouse" "is" "nice" "+")) -> ("someone" "likes" "squirrel" "+"))
If someone sees the squirrel then the squirrel does not see the mouse.
((("someone" "sees" "squirrel" "+")) -> ("squirrel" "sees" "mouse" "-"))
If someone likes the squirrel and they do not see the squirrel then they need the mouse.
((("someone" "likes" "squirrel" "+") ("someone" "sees" "squirrel" "~")) -> ("someone" "needs" "mouse" "+"))
The mouse is red.
True
1
proof
[(triple3)]
("mouse" "is" "red" "+")
triple3
The mouse is not nice.
False
1
inv-proof
[(triple2)]
("mouse" "is" "nice" "-")
triple2
The squirrel likes the squirrel.
True
3
proof
[(((triple13 triple2) -> rule1))]
("squirrel" "likes" "squirrel" "+")
((triple13 triple2) -> (rule1 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel does not like the squirrel.
False
3
inv-proof
[(((triple13 triple2) -> rule1))]
("squirrel" "likes" "squirrel" "-")
((triple13 triple2) -> (rule1 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The mouse does not need the mouse.
Unknown
inv-rconc
[@1: The mouse needs the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "needs" "mouse" "-")
The mouse sees the mouse.
Unknown
random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "+")
The mouse does not like the mouse.
Unknown
inv-random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
@0: The mouse does not like the squirrel.[(triple5)] The mouse is nice.[(triple2)] The mouse is not big.[(triple1)] The mouse is red.[(triple3)] The mouse is rough.[(triple4)] The mouse needs the squirrel.[(triple6)] The mouse sees the squirrel.[(triple7)] The squirrel does not see the mouse.[(triple15 OR ((triple7) -> rule2))] The squirrel is nice.[(triple9)] The squirrel is not big.[(triple8)] The squirrel is not red.[(triple10)] The squirrel is rough.[(triple11)] The squirrel is young.[(triple12)] The squirrel likes the mouse.[(triple13)] The squirrel needs the mouse.[(triple14)] @1: The squirrel likes the squirrel.[(((triple13 triple2) -> rule1))]
The mouse does not like the squirrel.
("mouse" "likes" "squirrel" "-")
triple5
The mouse is nice.
("mouse" "is" "nice" "+")
triple2
The mouse is not big.
("mouse" "is" "big" "-")
triple1
The mouse is red.
("mouse" "is" "red" "+")
triple3
The mouse is rough.
("mouse" "is" "rough" "+")
triple4
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
triple6
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
triple7
The squirrel does not see the mouse.
("squirrel" "sees" "mouse" "-")
triple15
((triple7) -> (rule2 % int1))
The squirrel does not see the mouse.
("squirrel" "sees" "mouse" "-")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple9
The squirrel is not big.
("squirrel" "is" "big" "-")
triple8
The squirrel is not red.
("squirrel" "is" "red" "-")
triple10
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple11
The squirrel is young.
("squirrel" "is" "young" "+")
triple12
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
triple13
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple14
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
((triple13 triple2) -> (rule1 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1