The mouse chases the squirrel. The mouse is rough. The mouse is young. The mouse likes the squirrel. The mouse does not visit the squirrel. The squirrel does not chase the mouse. The squirrel is kind. The squirrel is red. The squirrel is rough. The squirrel is young. The squirrel likes the mouse. The squirrel does not visit the mouse. If someone is green and they visit the squirrel then they visit the mouse. If someone chases the squirrel and they are green then they do not visit the mouse. If someone likes the mouse and the mouse visits the squirrel then they do not visit the squirrel. If someone visits the squirrel then the squirrel visits the mouse. If someone chases the squirrel and the squirrel visits the mouse then they are young. If someone chases the squirrel then they are kind. If someone chases the mouse and they are not green then they are rough. If someone is young and they chase the mouse then they like the squirrel.
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
The mouse does not visit the squirrel.
("mouse" "visits" "squirrel" "-")
The squirrel does not chase the mouse.
("squirrel" "chases" "mouse" "-")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is 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 does not visit the mouse.
("squirrel" "visits" "mouse" "-")
If someone is green and they visit the squirrel then they visit the mouse.
((("someone" "is" "green" "+") ("someone" "visits" "squirrel" "+")) -> ("someone" "visits" "mouse" "+"))
If someone chases the squirrel and they are green then they do not visit the mouse.
((("someone" "chases" "squirrel" "+") ("someone" "is" "green" "+")) -> ("someone" "visits" "mouse" "-"))
If someone likes the mouse and the mouse visits the squirrel then they do not visit the squirrel.
((("someone" "likes" "mouse" "+") ("mouse" "visits" "squirrel" "+")) -> ("someone" "visits" "squirrel" "-"))
If someone visits the squirrel then the squirrel visits the mouse.
((("someone" "visits" "squirrel" "+")) -> ("squirrel" "visits" "mouse" "+"))
If someone chases the squirrel and the squirrel visits the mouse then they are young.
((("someone" "chases" "squirrel" "+") ("squirrel" "visits" "mouse" "+")) -> ("someone" "is" "young" "+"))
If someone chases the squirrel then they are kind.
((("someone" "chases" "squirrel" "+")) -> ("someone" "is" "kind" "+"))
If someone chases the mouse and they are not green then they are rough.
((("someone" "chases" "mouse" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "rough" "+"))
If someone is young and they chase the mouse then they like the squirrel.
((("someone" "is" "young" "+") ("someone" "chases" "mouse" "+")) -> ("someone" "likes" "squirrel" "+"))
The squirrel is kind.
True
1
proof
[(triple7)]
("squirrel" "is" "kind" "+")
triple7
The squirrel does not like the mouse.
False
1
inv-proof
[(triple11)]
("squirrel" "likes" "mouse" "-")
triple11
The squirrel does not like the squirrel.
Unknown
inv-rconc
[@1: The squirrel likes the squirrel.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("squirrel" "likes" "squirrel" "-")
The squirrel is green.
Unknown
random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "+")
@0: The mouse chases the squirrel.[(triple1)] The mouse does not visit the squirrel.[(triple5)] The mouse is rough.[(triple2)] The mouse is young.[(triple3)] The mouse likes the squirrel.[(triple4)] The squirrel does not chase the mouse.[(triple6)] The squirrel does not visit the mouse.[(triple12)] The squirrel is kind.[(triple7)] The squirrel is red.[(triple8)] The squirrel is rough.[(triple9)] The squirrel is young.[(triple10)] The squirrel likes the mouse.[(triple11)] @1: The mouse is kind.[(((triple1) -> rule6))]
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
triple1
The mouse does not visit the squirrel.
("mouse" "visits" "squirrel" "-")
triple5
The mouse is rough.
("mouse" "is" "rough" "+")
triple2
The mouse is young.
("mouse" "is" "young" "+")
triple3
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
triple4
The squirrel does not chase the mouse.
("squirrel" "chases" "mouse" "-")
triple6
The squirrel does not visit the mouse.
("squirrel" "visits" "mouse" "-")
triple12
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple7
The squirrel is red.
("squirrel" "is" "red" "+")
triple8
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple9
The squirrel is young.
("squirrel" "is" "young" "+")
triple10
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
triple11
The mouse is kind.
("mouse" "is" "kind" "+")
((triple1) -> (rule6 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1