The mouse is green. The mouse is kind. The mouse is nice. The mouse is round. The mouse does not need the squirrel. The mouse visits the squirrel. The squirrel does not chase the tiger. The squirrel is round. The squirrel needs the mouse. The squirrel needs the tiger. The squirrel does not visit the mouse. The squirrel visits the tiger. The tiger chases the squirrel. The tiger is green. The tiger is young. If someone needs the squirrel then the squirrel visits the mouse. If someone visits the squirrel then the squirrel is not kind.
The mouse is green.
("mouse" "is" "green" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse does not need the squirrel.
("mouse" "needs" "squirrel" "-")
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
The squirrel does not chase the tiger.
("squirrel" "chases" "tiger" "-")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The squirrel does not visit the mouse.
("squirrel" "visits" "mouse" "-")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is young.
("tiger" "is" "young" "+")
If someone needs the squirrel then the squirrel visits the mouse.
((("someone" "needs" "squirrel" "+")) -> ("squirrel" "visits" "mouse" "+"))
If someone visits the squirrel then the squirrel is not kind.
((("someone" "visits" "squirrel" "+")) -> ("squirrel" "is" "kind" "-"))
The squirrel needs the tiger.
True
1
proof
[(triple10)]
("squirrel" "needs" "tiger" "+")
triple10
The squirrel does not need the tiger.
False
1
inv-proof
[(triple10)]
("squirrel" "needs" "tiger" "-")
triple10
The squirrel is not kind.
True
2
proof
[(((triple6) -> rule2))]
("squirrel" "is" "kind" "-")
((triple6) -> (rule2 % int1))
The squirrel is not kind.
("squirrel" "is" "kind" "-")
int1
The squirrel is kind.
False
2
inv-proof
[(((triple6) -> rule2))]
("squirrel" "is" "kind" "+")
((triple6) -> (rule2 % int1))
The squirrel is not kind.
("squirrel" "is" "kind" "-")
int1
The mouse does not chase the squirrel.
Unknown
inv-random
[@0: The mouse chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "squirrel" "-")
The tiger visits the tiger.
Unknown
random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "+")
The squirrel is not nice.
Unknown
inv-random
[@0: The squirrel is nice.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "nice" "-")
The squirrel is green.
Unknown
random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "+")
@0: The mouse does not need the squirrel.[(triple5)] The mouse is green.[(triple1)] The mouse is kind.[(triple2)] The mouse is nice.[(triple3)] The mouse is round.[(triple4)] The mouse visits the squirrel.[(triple6)] The squirrel does not chase the tiger.[(triple7)] The squirrel does not visit the mouse.[(triple11)] The squirrel is round.[(triple8)] The squirrel needs the mouse.[(triple9)] The squirrel needs the tiger.[(triple10)] The squirrel visits the tiger.[(triple12)] The tiger chases the squirrel.[(triple13)] The tiger is green.[(triple14)] The tiger is young.[(triple15)] @1: The squirrel is not kind.[(((triple6) -> rule2))]
The mouse does not need the squirrel.
("mouse" "needs" "squirrel" "-")
triple5
The mouse is green.
("mouse" "is" "green" "+")
triple1
The mouse is kind.
("mouse" "is" "kind" "+")
triple2
The mouse is nice.
("mouse" "is" "nice" "+")
triple3
The mouse is round.
("mouse" "is" "round" "+")
triple4
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
triple6
The squirrel does not chase the tiger.
("squirrel" "chases" "tiger" "-")
triple7
The squirrel does not visit the mouse.
("squirrel" "visits" "mouse" "-")
triple11
The squirrel is round.
("squirrel" "is" "round" "+")
triple8
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple9
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple10
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple12
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple13
The tiger is green.
("tiger" "is" "green" "+")
triple14
The tiger is young.
("tiger" "is" "young" "+")
triple15
The squirrel is not kind.
("squirrel" "is" "kind" "-")
((triple6) -> (rule2 % int1))
The squirrel is not kind.
("squirrel" "is" "kind" "-")
int1