The squirrel chases the tiger. The squirrel is big. The squirrel is blue. The squirrel is green. The squirrel is nice. The squirrel is rough. The squirrel likes the tiger. The squirrel sees the tiger. The tiger chases the squirrel. The tiger is big. The tiger is blue. The tiger is green. The tiger is nice. The tiger is rough. The tiger likes the squirrel. The tiger sees the squirrel. If someone sees the squirrel then they are green.
The tiger is nice.
@0: The squirrel chases the tiger.[(triple1)] The squirrel is big.[(triple2)] The squirrel is blue.[(triple3)] The squirrel is green.[(triple4)] The squirrel is nice.[(triple5)] The squirrel is rough.[(triple6)] The squirrel likes the tiger.[(triple7)] The squirrel sees the tiger.[(triple8)] The tiger chases the squirrel.[(triple9)] The tiger is big.[(triple10)] The tiger is blue.[(triple11)] The tiger is green.[(triple12 OR ((triple16) -> rule1))] The tiger is nice.[(triple13)] The tiger is rough.[(triple14)] The tiger likes the squirrel.[(triple15)] The tiger sees the squirrel.[(triple16)]