The cow is big. The cow likes the mouse. The cow likes the squirrel. The cow sees the mouse. The mouse chases the cow. The mouse is not kind. The mouse is rough. The mouse likes the squirrel. The squirrel chases the cow. The squirrel chases the mouse. The squirrel is cold. The squirrel is kind. The squirrel does not like the cow. The squirrel likes the mouse. The squirrel sees the cow. The squirrel does not see the mouse. If someone likes the mouse and they are not kind then they do not chase the squirrel. If someone is rough and not kind then they like the mouse. If someone is red and they do not chase the squirrel then they do not chase the cow.
The mouse likes the squirrel.
@0: The cow is big.[(triple1)] The cow likes the mouse.[(triple2)] The cow likes the squirrel.[(triple3)] The cow sees the mouse.[(triple4)] The mouse chases the cow.[(triple5)] The mouse is not kind.[(triple6)] The mouse is rough.[(triple7)] The mouse likes the squirrel.[(triple8)] The squirrel chases the cow.[(triple9)] The squirrel chases the mouse.[(triple10)] The squirrel does not like the cow.[(triple13)] The squirrel does not see the mouse.[(triple16)] The squirrel is cold.[(triple11)] The squirrel is kind.[(triple12)] The squirrel likes the mouse.[(triple14)] The squirrel sees the cow.[(triple15)] @1: The mouse likes the mouse.[(((triple7 triple6) -> rule2))] @2: The mouse does not chase the squirrel.[(((((triple7 triple6) -> rule2) triple6) -> rule1))]