The bald eagle eats the rabbit. The bald eagle is blue. The bald eagle is round. The bald eagle sees the rabbit. The bald eagle sees the tiger. The rabbit is big. The tiger sees the bald eagle. If something sees the rabbit then the rabbit eats the tiger.
The bald eagle is not green.
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle sees the rabbit.[(triple4)] The bald eagle sees the tiger.[(triple5)] The rabbit is big.[(triple6)] The tiger sees the bald eagle.[(triple7)] @1: The rabbit eats the tiger.[(((triple4) -> rule1))]