The bald eagle is red. The bald eagle is round. The bald eagle does not visit the rabbit. The dog is cold. The dog is red. The rabbit is not big. The rabbit needs the bald eagle. If someone needs the bald eagle then they eat the bald eagle.
The bald eagle is not round.
@0: The bald eagle does not visit the rabbit.[(triple3)] The bald eagle is red.[(triple1)] The bald eagle is round.[(triple2)] The dog is cold.[(triple4)] The dog is red.[(triple5)] The rabbit is not big.[(triple6)] The rabbit needs the bald eagle.[(triple7)] @1: The rabbit eats the bald eagle.[(((triple7) -> rule1))]