The cat eats the mouse. The cat is rough. The cat needs the mouse. The cat sees the dog. The cat sees the mouse. The dog eats the cat. The dog eats the mouse. The dog eats the squirrel. The dog is round. The dog needs the squirrel. The mouse is round. The mouse needs the squirrel. The mouse sees the dog. The squirrel eats the cat. The squirrel is rough. If someone needs the mouse and the mouse sees the dog then the mouse eats the cat.
The mouse eats the cat.
@0: The cat eats the mouse.[(triple1)] The cat is rough.[(triple2)] The cat needs the mouse.[(triple3)] The cat sees the dog.[(triple4)] The cat sees the mouse.[(triple5)] The dog eats the cat.[(triple6)] The dog eats the mouse.[(triple7)] The dog eats the squirrel.[(triple8)] The dog is round.[(triple9)] The dog needs the squirrel.[(triple10)] The mouse is round.[(triple11)] The mouse needs the squirrel.[(triple12)] The mouse sees the dog.[(triple13)] The squirrel eats the cat.[(triple14)] The squirrel is rough.[(triple15)] @1: The mouse eats the cat.[(((triple3 triple13) -> rule1))]