The bald eagle chases the lion. The bald eagle eats the dog. The bald eagle eats the rabbit. The bald eagle is red. The dog needs the lion. The lion chases the rabbit. The lion eats the bald eagle. The lion eats the dog. The lion is big. The rabbit chases the dog. The rabbit eats the bald eagle. The rabbit needs the bald eagle. If something needs the dog and it chases the lion then it chases the dog. If something chases the lion then the lion is big.
The dog does not need the lion.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle eats the dog.[(triple2)] The bald eagle eats the rabbit.[(triple3)] The bald eagle is red.[(triple4)] The dog needs the lion.[(triple5)] The lion chases the rabbit.[(triple6)] The lion eats the bald eagle.[(triple7)] The lion eats the dog.[(triple8)] The lion is big.[(triple9 OR ((triple1) -> rule2))] The rabbit chases the dog.[(triple10)] The rabbit eats the bald eagle.[(triple11)] The rabbit needs the bald eagle.[(triple12)]