The bald eagle is nice. The bear is big. The lion visits the bear. If the bald eagle eats the lion and the lion visits the bear then the bear is red. If someone chases the lion and the lion visits the bear then they are big. If someone is nice then they chase the lion.
The lion visits the bear.
@0: The bald eagle is nice.[(triple1)] The bear is big.[(triple2)] The lion visits the bear.[(triple3)] @1: The bald eagle chases the lion.[(((triple1) -> rule3))] @2: The bald eagle is big.[(((((triple1) -> rule3) triple3) -> rule2))]