The mouse eats the squirrel. The mouse is rough. The mouse is round. The mouse likes the squirrel. The squirrel eats the mouse. The squirrel is nice. The squirrel is rough. The squirrel is round. The squirrel does not like the mouse. The squirrel needs the mouse. If someone is round then they eat the mouse.
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel does not like the mouse.
("squirrel" "likes" "mouse" "-")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
If someone is round then they eat the mouse.
((("someone" "is" "round" "+")) -> ("someone" "eats" "mouse" "+"))
The mouse eats the squirrel.
True
1
proof
[(triple1)]
("mouse" "eats" "squirrel" "+")
triple1
The squirrel does not eat the mouse.
False
1
inv-proof
[(triple5 OR ((triple8) -> rule1))]
("squirrel" "eats" "mouse" "-")
triple5
((triple8) -> (rule1 % int1))
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int1
The mouse eats the mouse.
True
2
proof
[(((triple3) -> rule1))]
("mouse" "eats" "mouse" "+")
((triple3) -> (rule1 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse does not eat the mouse.
False
2
inv-proof
[(((triple3) -> rule1))]
("mouse" "eats" "mouse" "-")
((triple3) -> (rule1 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The squirrel does not like the squirrel.
Unknown
inv-random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "-")
The mouse is nice.
Unknown
random
[@0: The mouse is nice.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "nice" "+")
The squirrel does not need the squirrel.
Unknown
inv-random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "-")
The squirrel is kind.
Unknown
random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "+")
@0: The mouse eats the squirrel.[(triple1)] The mouse is rough.[(triple2)] The mouse is round.[(triple3)] The mouse likes the squirrel.[(triple4)] The squirrel does not like the mouse.[(triple9)] The squirrel eats the mouse.[(triple5 OR ((triple8) -> rule1))] The squirrel is nice.[(triple6)] The squirrel is rough.[(triple7)] The squirrel is round.[(triple8)] The squirrel needs the mouse.[(triple10)] @1: The mouse eats the mouse.[(((triple3) -> rule1))]
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple1
The mouse is rough.
("mouse" "is" "rough" "+")
triple2
The mouse is round.
("mouse" "is" "round" "+")
triple3
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
triple4
The squirrel does not like the mouse.
("squirrel" "likes" "mouse" "-")
triple9
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple5
((triple8) -> (rule1 % int1))
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple6
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple7
The squirrel is round.
("squirrel" "is" "round" "+")
triple8
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple10
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
((triple3) -> (rule1 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1