The bald eagle is not nice. The bald eagle is red. The bald eagle needs the cat. The bald eagle sees the cat. The cat eats the bald eagle. The cat is not young. The cat does not need the bald eagle. If someone sees the bald eagle then they are not round. If the bald eagle is not red then the bald eagle does not eat the cat. If the bald eagle sees the cat then the bald eagle eats the cat. If someone eats the cat and the cat eats the bald eagle then the cat sees the bald eagle. If the bald eagle is not round and the bald eagle does not see the cat then the bald eagle does not need the cat. If someone needs the cat and they are nice then the cat is not round.
The cat is not red.
@0: The bald eagle is not nice.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle needs the cat.[(triple3)] The bald eagle sees the cat.[(triple4)] The cat does not need the bald eagle.[(triple7)] The cat eats the bald eagle.[(triple5)] The cat is not young.[(triple6)] @1: The bald eagle eats the cat.[(((triple4) -> rule3))] @2: The cat sees the bald eagle.[(((((triple4) -> rule3) triple5) -> rule4))] @3: The cat is not round.[(((((((triple4) -> rule3) triple5) -> rule4)) -> rule1))]