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 squirrel is kind.
@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))]