The bald eagle chases the lion. The bald eagle eats the lion. The bald eagle is nice. The bald eagle sees the lion. The lion chases the bald eagle. The lion eats the bald eagle. The lion sees the bald eagle. If someone eats the lion then the lion is red. All big people are cold. If the lion eats the bald eagle and the bald eagle chases the lion then the lion chases the bald eagle.
The lion eats the bald eagle.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle eats the lion.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle sees the lion.[(triple4)] The lion chases the bald eagle.[(triple5 OR ((triple6 triple1) -> rule3))] The lion eats the bald eagle.[(triple6)] The lion sees the bald eagle.[(triple7)] @1: The lion is red.[(((triple2) -> rule1))]