The bald eagle chases the lion. The bald eagle is big. The bald eagle likes the lion. The bald eagle sees the lion. The lion is big. The lion is rough. The lion sees the bald eagle. If the lion is big then the lion likes the bald eagle.
The lion sees the lion.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle likes the lion.[(triple3)] The bald eagle sees the lion.[(triple4)] The lion is big.[(triple5)] The lion is rough.[(triple6)] The lion sees the bald eagle.[(triple7)] @1: The lion likes the bald eagle.[(((triple5) -> rule1))]