The bald eagle chases the lion. The bald eagle is not big. The bald eagle is blue. The bald eagle is kind. The bald eagle is rough. The bald eagle needs the lion. The bald eagle needs the squirrel. The bald eagle sees the squirrel. The lion is not big. The lion is blue. The squirrel does not chase the bald eagle. The squirrel chases the lion. The squirrel is green. The squirrel is kind. The squirrel needs the bald eagle. If something is green then it chases the lion. If something chases the lion then the lion chases the squirrel.
The lion does not chase the lion.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is blue.[(triple3)] The bald eagle is kind.[(triple4)] The bald eagle is not big.[(triple2)] The bald eagle is rough.[(triple5)] The bald eagle needs the lion.[(triple6)] The bald eagle needs the squirrel.[(triple7)] The bald eagle sees the squirrel.[(triple8)] The lion is blue.[(triple10)] The lion is not big.[(triple9)] The squirrel chases the lion.[(triple12 OR ((triple13) -> rule1))] The squirrel does not chase the bald eagle.[(triple11)] The squirrel is green.[(triple13)] The squirrel is kind.[(triple14)] The squirrel needs the bald eagle.[(triple15)] @1: The lion chases the squirrel.[(((triple1) -> rule2) OR ((triple12) -> rule2) OR ((((triple13) -> rule1)) -> rule2))]