The bald eagle does not need the bear. The bear is red. The cat needs the bear. The lion needs the cat. If someone needs the bald eagle then they do not need the bear. If someone needs the bear then they do not chase the bear. If someone is round then they chase the bear.
The cat does not chase the bear.
@0: The bald eagle does not need the bear.[(triple1)] The bear is red.[(triple2)] The cat needs the bear.[(triple3)] The lion needs the cat.[(triple4)] @1: The cat does not chase the bear.[(((triple3) -> rule2))]