The squirrel eats the tiger. The squirrel is green. The squirrel is red. The squirrel is round. The squirrel sees the tiger. The squirrel visits the tiger. The tiger does not eat the squirrel. The tiger is green. The tiger is kind. The tiger is round. The tiger sees the squirrel. The tiger visits the squirrel. If someone eats the tiger and the tiger is red then the tiger does not see the squirrel. If someone sees the tiger then they do not see the squirrel.
The tiger does not see the squirrel.
@0: The squirrel eats the tiger.[(triple1)] The squirrel is green.[(triple2)] The squirrel is red.[(triple3)] The squirrel is round.[(triple4)] The squirrel sees the tiger.[(triple5)] The squirrel visits the tiger.[(triple6)] The tiger does not eat the squirrel.[(triple7)] The tiger is green.[(triple8)] The tiger is kind.[(triple9)] The tiger is round.[(triple10)] The tiger sees the squirrel.[(triple11)] The tiger visits the squirrel.[(triple12)] @1: The squirrel does not see the squirrel.[(((triple5) -> rule2))]