The bald eagle eats the dog. The bald eagle is blue. The bald eagle is red. The bald eagle needs the dog. The bald eagle visits the dog. The dog eats the bald eagle. The dog needs the bald eagle. The dog visits the bald eagle. The lion eats the bald eagle. The lion is blue. The lion is cold. The lion is red. The lion is rough. The lion is young. The lion visits the bald eagle. If something eats the bald eagle then the bald eagle eats the lion.
The bald eagle needs the lion.
@0: The bald eagle eats the dog.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle needs the dog.[(triple4)] The bald eagle visits the dog.[(triple5)] The dog eats the bald eagle.[(triple6)] The dog needs the bald eagle.[(triple7)] The dog visits the bald eagle.[(triple8)] The lion eats the bald eagle.[(triple9)] The lion is blue.[(triple10)] The lion is cold.[(triple11)] The lion is red.[(triple12)] The lion is rough.[(triple13)] The lion is young.[(triple14)] The lion visits the bald eagle.[(triple15)] @1: The bald eagle eats the lion.[(((triple6) -> rule1) OR ((triple9) -> rule1))]