The bald eagle eats the lion. The lion is nice. The rabbit is blue. If something eats the bald eagle then the bald eagle is green. If something eats the lion then the lion eats the bald eagle.
The bald eagle eats the rabbit.
@0: The bald eagle eats the lion.[(triple1)] The lion is nice.[(triple2)] The rabbit is blue.[(triple3)] @1: The lion eats the bald eagle.[(((triple1) -> rule2))] @2: The bald eagle is green.[(((((triple1) -> rule2)) -> rule1))]