The bald eagle eats the rabbit. The rabbit eats the bald eagle. The rabbit does not visit the bald eagle. If someone eats the bald eagle then the bald eagle visits the rabbit. If someone visits the rabbit and the rabbit is big then they are blue. If the bald eagle likes the rabbit and the bald eagle is blue then the rabbit does not eat the bald eagle. If someone eats the bald eagle and the bald eagle visits the rabbit then the rabbit eats the bald eagle. If someone is round then they eat the rabbit. If someone likes the bald eagle then they are big.
The rabbit is not big.
@0: The bald eagle eats the rabbit.[(triple1)] The rabbit does not visit the bald eagle.[(triple3)] The rabbit eats the bald eagle.[(triple2)] @1: The bald eagle visits the rabbit.[(((triple2) -> rule1))]