The dog eats the squirrel. The dog likes the tiger. The dog needs the squirrel. The dog needs the tiger. The mouse eats the squirrel. The mouse likes the squirrel. The mouse likes the tiger. The mouse needs the dog. The squirrel eats the mouse. The squirrel is round. The tiger is rough. The tiger needs the mouse. If something eats the mouse then it needs the squirrel. If something is rough and it likes the dog then the dog needs the squirrel. If something eats the tiger and it is rough then the tiger is red.
The tiger is not rough.
@0: The dog eats the squirrel.[(triple1)] The dog likes the tiger.[(triple2)] The dog needs the squirrel.[(triple3)] The dog needs the tiger.[(triple4)] The mouse eats the squirrel.[(triple5)] The mouse likes the squirrel.[(triple6)] The mouse likes the tiger.[(triple7)] The mouse needs the dog.[(triple8)] The squirrel eats the mouse.[(triple9)] The squirrel is round.[(triple10)] The tiger is rough.[(triple11)] The tiger needs the mouse.[(triple12)] @1: The squirrel needs the squirrel.[(((triple9) -> rule1))]