The mouse eats the squirrel. The mouse is not blue. The mouse is kind. The mouse is nice. The mouse is rough. The mouse likes the squirrel. The mouse visits the squirrel. The squirrel eats the mouse. The squirrel is not big. The squirrel is not blue. The squirrel is kind. The squirrel is nice. The squirrel is rough. The squirrel likes the mouse. The squirrel visits the mouse. If something eats the squirrel then it does not visit the mouse. If something is blue and it visits the mouse then the mouse visits the squirrel. If something visits the mouse and it likes the squirrel then the squirrel visits the mouse.
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The mouse is not blue.
("mouse" "is" "blue" "-")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
The squirrel is not big.
("squirrel" "is" "big" "-")
The squirrel is not blue.
("squirrel" "is" "blue" "-")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
If something eats the squirrel then it does not visit the mouse.
((("something" "eats" "squirrel" "+")) -> ("something" "visits" "mouse" "-"))
If something is blue and it visits the mouse then the mouse visits the squirrel.
((("something" "is" "blue" "+") ("something" "visits" "mouse" "+")) -> ("mouse" "visits" "squirrel" "+"))
If something visits the mouse and it likes the squirrel then the squirrel visits the mouse.
((("something" "visits" "mouse" "+") ("something" "likes" "squirrel" "+")) -> ("squirrel" "visits" "mouse" "+"))
The squirrel is not blue.
True
1
proof
[(triple10)]
("squirrel" "is" "blue" "-")
triple10
The mouse is not nice.
False
1
inv-proof
[(triple4)]
("mouse" "is" "nice" "-")
triple4
The mouse does not visit the mouse.
True
2
proof
[(((triple1) -> rule1))]
("mouse" "visits" "mouse" "-")
((triple1) -> (rule1 % int1))
The mouse does not visit the mouse.
("mouse" "visits" "mouse" "-")
int1
The mouse visits the mouse.
False
2
inv-proof
[(((triple1) -> rule1))]
("mouse" "visits" "mouse" "+")
((triple1) -> (rule1 % int1))
The mouse does not visit the mouse.
("mouse" "visits" "mouse" "-")
int1
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 eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
The mouse is not big.
Unknown
inv-random
[@0: The mouse is big.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "big" "-")
The squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
@0: The mouse eats the squirrel.[(triple1)] The mouse is kind.[(triple3)] The mouse is nice.[(triple4)] The mouse is not blue.[(triple2)] The mouse is rough.[(triple5)] The mouse likes the squirrel.[(triple6)] The mouse visits the squirrel.[(triple7)] The squirrel eats the mouse.[(triple8)] The squirrel is kind.[(triple11)] The squirrel is nice.[(triple12)] The squirrel is not big.[(triple9)] The squirrel is not blue.[(triple10)] The squirrel is rough.[(triple13)] The squirrel likes the mouse.[(triple14)] The squirrel visits the mouse.[(triple15)] @1: The mouse does not visit the mouse.[(((triple1) -> rule1))]
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple1
The mouse is kind.
("mouse" "is" "kind" "+")
triple3
The mouse is nice.
("mouse" "is" "nice" "+")
triple4
The mouse is not blue.
("mouse" "is" "blue" "-")
triple2
The mouse is rough.
("mouse" "is" "rough" "+")
triple5
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
triple6
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
triple7
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple8
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple11
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple12
The squirrel is not big.
("squirrel" "is" "big" "-")
triple9
The squirrel is not blue.
("squirrel" "is" "blue" "-")
triple10
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple13
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
triple14
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple15
The mouse does not visit the mouse.
("mouse" "visits" "mouse" "-")
((triple1) -> (rule1 % int1))
The mouse does not visit the mouse.
("mouse" "visits" "mouse" "-")
int1