The bald eagle is big. The bald eagle likes the lion. The cat is not green. The cat is young. The lion is big. The rabbit eats the bald eagle. The rabbit visits the bald eagle. If someone likes the rabbit then they eat the cat. If someone is young then they eat the lion. If the lion visits the bald eagle and the bald eagle likes the rabbit then the bald eagle eats the rabbit.
The cat eats the bald eagle.
@0: The bald eagle is big.[(triple1)] The bald eagle likes the lion.[(triple2)] The cat is not green.[(triple3)] The cat is young.[(triple4)] The lion is big.[(triple5)] The rabbit eats the bald eagle.[(triple6)] The rabbit visits the bald eagle.[(triple7)] @1: The cat eats the lion.[(((triple4) -> rule2))]