The squirrel chases the tiger. The squirrel is red. The squirrel likes the tiger. The squirrel needs the tiger. The tiger chases the squirrel. The tiger likes the squirrel. The tiger needs the squirrel. If something is big then it chases the squirrel. If something needs the squirrel then the squirrel chases the tiger. If something is red and it needs the squirrel then the squirrel likes the tiger.
The tiger is big.
@0: The squirrel chases the tiger.[(triple1 OR ((triple7) -> rule2))] The squirrel is red.[(triple2)] The squirrel likes the tiger.[(triple3)] The squirrel needs the tiger.[(triple4)] The tiger chases the squirrel.[(triple5)] The tiger likes the squirrel.[(triple6)] The tiger needs the squirrel.[(triple7)]