The squirrel eats the tiger. The squirrel is big. The squirrel is red. The squirrel is rough. The squirrel needs the tiger. The squirrel sees the tiger. The tiger eats the squirrel. The tiger is big. The tiger is red. The tiger is rough. The tiger needs the squirrel. The tiger sees the squirrel. If someone eats the tiger then they see the squirrel.
The tiger does not see the squirrel.
@0: The squirrel eats the tiger.[(triple1)] The squirrel is big.[(triple2)] The squirrel is red.[(triple3)] The squirrel is rough.[(triple4)] The squirrel needs the tiger.[(triple5)] The squirrel sees the tiger.[(triple6)] The tiger eats the squirrel.[(triple7)] The tiger is big.[(triple8)] The tiger is red.[(triple9)] The tiger is rough.[(triple10)] The tiger needs the squirrel.[(triple11)] The tiger sees the squirrel.[(triple12)] @1: The squirrel sees the squirrel.[(((triple1) -> rule1))]