The cow is round. The cow likes the mouse. The mouse is rough. The mouse likes the tiger. The squirrel likes the mouse. The squirrel sees the mouse. The tiger is kind. If someone likes the cow and the cow visits the squirrel then they do not see the squirrel. If someone visits the tiger and they are cold then they do not see the mouse. If the tiger visits the squirrel then the squirrel sees the cow. If someone sees the cow and the cow sees the squirrel then the squirrel is kind. If someone sees the squirrel and the squirrel visits the tiger then the tiger visits the squirrel. Round people are rough. If someone visits the mouse then the mouse is cold. If someone sees the squirrel and the squirrel does not visit the tiger then the squirrel visits the mouse.
The mouse does not like the tiger.
@0: The cow is round.[(triple1)] The cow likes the mouse.[(triple2)] The mouse is rough.[(triple3)] The mouse likes the tiger.[(triple4)] The squirrel likes the mouse.[(triple5)] The squirrel sees the mouse.[(triple6)] The tiger is kind.[(triple7)] @1: The cow is rough.[(((triple1) -> rule6))]