The bald eagle chases the squirrel. The bald eagle chases the tiger. The bald eagle eats the lion. The bald eagle needs the lion. The lion does not chase the bald eagle. The lion eats the tiger. The squirrel chases the lion. The squirrel chases the tiger. The squirrel eats the bald eagle. The squirrel is kind. The squirrel is red. The squirrel is rough. The tiger chases the lion. The tiger is rough. The tiger needs the squirrel. If someone needs the lion then they do not need the tiger.
The tiger is not young.
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle eats the lion.[(triple3)] The bald eagle needs the lion.[(triple4)] The lion does not chase the bald eagle.[(triple5)] The lion eats the tiger.[(triple6)] The squirrel chases the lion.[(triple7)] The squirrel chases the tiger.[(triple8)] The squirrel eats the bald eagle.[(triple9)] The squirrel is kind.[(triple10)] The squirrel is red.[(triple11)] The squirrel is rough.[(triple12)] The tiger chases the lion.[(triple13)] The tiger is rough.[(triple14)] The tiger needs the squirrel.[(triple15)] @1: The bald eagle does not need the tiger.[(((triple4) -> rule1))]