The cat chases the mouse. The cat chases the squirrel. The cat is nice. The cat is rough. The cat needs the squirrel. The mouse chases the squirrel. The mouse is kind. The mouse is rough. The mouse is round. The mouse likes the squirrel. The squirrel chases the mouse. The squirrel is rough. If the cat chases the squirrel then the squirrel needs the cat.
The mouse does not like the squirrel.
@0: The cat chases the mouse.[(triple1)] The cat chases the squirrel.[(triple2)] The cat is nice.[(triple3)] The cat is rough.[(triple4)] The cat needs the squirrel.[(triple5)] The mouse chases the squirrel.[(triple6)] The mouse is kind.[(triple7)] The mouse is rough.[(triple8)] The mouse is round.[(triple9)] The mouse likes the squirrel.[(triple10)] The squirrel chases the mouse.[(triple11)] The squirrel is rough.[(triple12)] @1: The squirrel needs the cat.[(((triple2) -> rule1))]