The squirrel eats the tiger. The squirrel is blue. The squirrel is red. The squirrel is round. The squirrel is young. The squirrel likes the tiger. The squirrel needs the tiger. The tiger eats the squirrel. The tiger is big. The tiger is blue. The tiger is red. The tiger is round. The tiger is young. The tiger likes the squirrel. The tiger needs the squirrel. If the tiger is round then the tiger is red.
The squirrel needs the squirrel.
@0: The squirrel eats the tiger.[(triple1)] The squirrel is blue.[(triple2)] The squirrel is red.[(triple3)] The squirrel is round.[(triple4)] The squirrel is young.[(triple5)] The squirrel likes the tiger.[(triple6)] The squirrel needs the tiger.[(triple7)] The tiger eats the squirrel.[(triple8)] The tiger is big.[(triple9)] The tiger is blue.[(triple10)] The tiger is red.[(triple11 OR ((triple12) -> rule1))] The tiger is round.[(triple12)] The tiger is young.[(triple13)] The tiger likes the squirrel.[(triple14)] The tiger needs the squirrel.[(triple15)]