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