The bald eagle does not eat the lion. The bald eagle is rough. The bald eagle does not like the lion. The bald eagle likes the squirrel. The bald eagle needs the lion. The lion eats the squirrel. The lion is blue. The lion is green. The lion is not red. The lion is young. The lion does not like the bald eagle. The lion likes the squirrel. The lion does not need the bald eagle. The squirrel eats the lion. The squirrel is not green. The squirrel likes the lion. If someone eats the lion then they need the lion. If someone likes the lion and the lion does not like the bald eagle then they do not eat the squirrel. If the bald eagle does not like the lion then the lion is young.
The lion does not need the lion.
@0: The bald eagle does not eat the lion.[(triple1)] The bald eagle does not like the lion.[(triple3)] The bald eagle is rough.[(triple2)] The bald eagle likes the squirrel.[(triple4)] The bald eagle needs the lion.[(triple5)] The lion does not like the bald eagle.[(triple11)] The lion does not need the bald eagle.[(triple13)] The lion eats the squirrel.[(triple6)] The lion is blue.[(triple7)] The lion is green.[(triple8)] The lion is not red.[(triple9)] The lion is young.[(triple10 OR ((triple3) -> rule3))] The lion likes the squirrel.[(triple12)] The squirrel eats the lion.[(triple14)] The squirrel is not green.[(triple15)] The squirrel likes the lion.[(triple16)] @1: The squirrel does not eat the squirrel.[(((triple16 triple11) -> rule2))] The squirrel needs the lion.[(((triple14) -> rule1))]