The bald eagle is rough. The bald eagle is not young. The bald eagle likes the squirrel. The bald eagle likes the tiger. The bald eagle does not need the tiger. The lion chases the tiger. The lion is red. The squirrel is rough. The squirrel needs the lion. The tiger chases the bald eagle. The tiger is red. The tiger does not like the bald eagle. The tiger likes the squirrel. The tiger needs the bald eagle. The tiger needs the lion. The tiger needs the squirrel. If something likes the bald eagle then it chases the tiger. If the tiger needs the squirrel and the tiger needs the lion then the lion likes the tiger. If something likes the squirrel then the squirrel does not chase the tiger.
The tiger is not young.
@0: The bald eagle does not need the tiger.[(triple5)] The bald eagle is not young.[(triple2)] The bald eagle is rough.[(triple1)] The bald eagle likes the squirrel.[(triple3)] The bald eagle likes the tiger.[(triple4)] The lion chases the tiger.[(triple6)] The lion is red.[(triple7)] The squirrel is rough.[(triple8)] The squirrel needs the lion.[(triple9)] The tiger chases the bald eagle.[(triple10)] The tiger does not like the bald eagle.[(triple12)] The tiger is red.[(triple11)] The tiger likes the squirrel.[(triple13)] The tiger needs the bald eagle.[(triple14)] The tiger needs the lion.[(triple15)] The tiger needs the squirrel.[(triple16)] @1: The lion likes the tiger.[(((triple16 triple15) -> rule2))] The squirrel does not chase the tiger.[(((triple13) -> rule3) OR ((triple3) -> rule3))]