The mouse is nice. The mouse likes the squirrel. The mouse does not like the tiger. The squirrel eats the mouse. The squirrel eats the tiger. The squirrel is kind. The squirrel likes the tiger. The squirrel visits the mouse. The tiger eats the squirrel. The tiger is cold. The tiger likes the squirrel. The tiger visits the squirrel. If something eats the squirrel and it likes the tiger then the squirrel is kind. If something eats the tiger then the tiger likes the mouse. If something eats the mouse and the mouse does not eat the tiger then the mouse is cold. If something is nice then it does not eat the squirrel. If something is rough then it eats the squirrel. If the squirrel is cold and the squirrel does not eat the tiger then the squirrel is big. If the squirrel is not big then the squirrel likes the mouse. If the tiger does not visit the squirrel and the tiger does not visit the mouse then the squirrel likes the mouse.
The tiger visits the squirrel.
@0: The mouse does not like the tiger.[(triple3)] The mouse is nice.[(triple1)] The mouse likes the squirrel.[(triple2)] The squirrel eats the mouse.[(triple4)] The squirrel eats the tiger.[(triple5)] The squirrel is kind.[(triple6)] The squirrel likes the tiger.[(triple7)] The squirrel visits the mouse.[(triple8)] The tiger eats the squirrel.[(triple9)] The tiger is cold.[(triple10)] The tiger likes the squirrel.[(triple11)] The tiger visits the squirrel.[(triple12)] @1: The mouse does not eat the squirrel.[(((triple1) -> rule4))] The tiger likes the mouse.[(((triple5) -> rule2))]