The cow chases the mouse. The cow is nice. The mouse is cold. The mouse is nice. The mouse is rough. The mouse sees the tiger. The squirrel chases the cow. The squirrel chases the tiger. The squirrel is rough. The squirrel is young. The squirrel sees the cow. The squirrel visits the cow. The tiger chases the cow. The tiger is young. The tiger sees the squirrel. The tiger visits the mouse. If the mouse is cold then the mouse chases the squirrel. If someone is rough and they see the cow then the cow sees the mouse.
The mouse does not see the mouse.
@0: The cow chases the mouse.[(triple1)] The cow is nice.[(triple2)] The mouse is cold.[(triple3)] The mouse is nice.[(triple4)] The mouse is rough.[(triple5)] The mouse sees the tiger.[(triple6)] The squirrel chases the cow.[(triple7)] The squirrel chases the tiger.[(triple8)] The squirrel is rough.[(triple9)] The squirrel is young.[(triple10)] The squirrel sees the cow.[(triple11)] The squirrel visits the cow.[(triple12)] The tiger chases the cow.[(triple13)] The tiger is young.[(triple14)] The tiger sees the squirrel.[(triple15)] The tiger visits the mouse.[(triple16)] @1: The cow sees the mouse.[(((triple9 triple11) -> rule2))] The mouse chases the squirrel.[(((triple3) -> rule1))]