The squirrel eats the tiger. The squirrel is cold. The squirrel is red. The squirrel is rough. The squirrel is round. The squirrel likes the tiger. The squirrel sees the tiger. The tiger eats the squirrel. The tiger is big. The tiger is cold. The tiger is red. The tiger is rough. The tiger is round. The tiger likes the squirrel. The tiger sees the squirrel. If someone is big and they like the squirrel then they eat the tiger. If someone likes the squirrel then the squirrel is red.
The tiger does not like the tiger.
@0: The squirrel eats the tiger.[(triple1)] The squirrel is cold.[(triple2)] The squirrel is red.[(triple3 OR ((triple14) -> rule2))] The squirrel is rough.[(triple4)] The squirrel is round.[(triple5)] The squirrel likes the tiger.[(triple6)] The squirrel sees the tiger.[(triple7)] The tiger eats the squirrel.[(triple8)] The tiger is big.[(triple9)] The tiger is cold.[(triple10)] The tiger is red.[(triple11)] The tiger is rough.[(triple12)] The tiger is round.[(triple13)] The tiger likes the squirrel.[(triple14)] The tiger sees the squirrel.[(triple15)] @1: The tiger eats the tiger.[(((triple9 triple14) -> rule1))]