The bald eagle chases the lion. The bald eagle eats the lion. The bald eagle is not green. The bald eagle is red. The bald eagle is rough. The bald eagle is young. The bald eagle needs the lion. The lion chases the bald eagle. The lion does not eat the bald eagle. The lion is nice. The lion is red. The lion needs the bald eagle. If something is rough then it needs the lion. If something eats the bald eagle then the bald eagle is young.
The bald eagle eats the bald eagle.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle eats the lion.[(triple2)] The bald eagle is not green.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle is rough.[(triple5)] The bald eagle is young.[(triple6)] The bald eagle needs the lion.[(triple7 OR ((triple5) -> rule1))] The lion chases the bald eagle.[(triple8)] The lion does not eat the bald eagle.[(triple9)] The lion is nice.[(triple10)] The lion is red.[(triple11)] The lion needs the bald eagle.[(triple12)]