The squirrel chases the tiger. The squirrel is red. The squirrel is young. The squirrel needs the tiger. The squirrel visits the tiger. The tiger chases the squirrel. The tiger is nice. The tiger is round. The tiger needs the squirrel. The tiger visits the squirrel. If someone is blue and they chase the tiger then the tiger chases the squirrel. If the tiger chases the squirrel then the tiger needs the squirrel. If the squirrel needs the tiger and the squirrel is nice then the squirrel is blue. If someone needs the tiger then they chase the tiger. If someone is blue and they chase the tiger then they are nice. If someone chases the tiger and they chase the squirrel then the tiger needs the squirrel. If someone chases the squirrel then the squirrel needs the tiger. If someone visits the tiger and they chase the squirrel then they chase the tiger.
The tiger needs the tiger.
@0: The squirrel chases the tiger.[(triple1 OR ((triple4) -> rule4) OR ((((triple6) -> rule7)) -> rule4))] The squirrel is red.[(triple2)] The squirrel is young.[(triple3)] The squirrel needs the tiger.[(triple4 OR ((triple6) -> rule7))] The squirrel visits the tiger.[(triple5)] The tiger chases the squirrel.[(triple6)] The tiger is nice.[(triple7)] The tiger is round.[(triple8)] The tiger needs the squirrel.[(triple9 OR ((triple6) -> rule2))] The tiger visits the squirrel.[(triple10)]