The bald eagle is red. The bald eagle does not like the lion. The bald eagle needs the squirrel. The lion chases the bald eagle. The lion chases the squirrel. The lion does not need the bald eagle. The lion needs the squirrel. The squirrel chases the lion. The squirrel is green. The squirrel is not red. The squirrel likes the bald eagle. The squirrel needs the lion. If someone chases the bald eagle and the bald eagle likes the squirrel then the bald eagle chases the lion. If someone is big and they do not like the lion then the lion needs the bald eagle. If someone is green and they like the squirrel then they are not big. If someone needs the squirrel then they like the bald eagle. If someone needs the squirrel and the squirrel chases the lion then the squirrel is green. If someone chases the bald eagle then the bald eagle likes the squirrel.
The bald eagle does not chase the lion.
@0: The bald eagle does not like the lion.[(triple2)] The bald eagle is red.[(triple1)] The bald eagle needs the squirrel.[(triple3)] The lion chases the bald eagle.[(triple4)] The lion chases the squirrel.[(triple5)] The lion does not need the bald eagle.[(triple6)] The lion needs the squirrel.[(triple7)] The squirrel chases the lion.[(triple8)] The squirrel is green.[(triple9 OR ((triple3 triple8) -> rule5) OR ((triple7 triple8) -> rule5))] The squirrel is not red.[(triple10)] The squirrel likes the bald eagle.[(triple11)] The squirrel needs the lion.[(triple12)] @1: The bald eagle likes the bald eagle.[(((triple3) -> rule4))] The bald eagle likes the squirrel.[(((triple4) -> rule6))] The lion likes the bald eagle.[(((triple7) -> rule4))] @2: The bald eagle chases the lion.[(((triple4 ((triple4) -> rule6)) -> rule1))]