The bald eagle does not chase the cat. The bald eagle chases the rabbit. The bald eagle eats the rabbit. The bald eagle does not need the cat. The cat chases the bald eagle. The cat needs the bald eagle. The rabbit needs the bald eagle. If someone eats the rabbit then they are red.
The cat is round.
@0: The bald eagle chases the rabbit.[(triple2)] The bald eagle does not chase the cat.[(triple1)] The bald eagle does not need the cat.[(triple4)] The bald eagle eats the rabbit.[(triple3)] The cat chases the bald eagle.[(triple5)] The cat needs the bald eagle.[(triple6)] The rabbit needs the bald eagle.[(triple7)] @1: The bald eagle is red.[(((triple3) -> rule1))]