The bald eagle is not nice. The cat eats the bald eagle. If something is kind then it likes the cat. If something likes the bald eagle then it does not eat the bald eagle. If something eats the bald eagle then it is kind. Round things are kind. If something likes the cat then it does not eat the cat. If something is rough and it likes the cat then it eats the cat. If the cat eats the bald eagle and the cat does not chase the bald eagle then the bald eagle likes the cat. If the bald eagle does not chase the cat and the bald eagle is not kind then the bald eagle eats the cat.
The bald eagle chases the bald eagle.
@0: The bald eagle is not nice.[(triple1)] The cat eats the bald eagle.[(triple2)] @1: The cat is kind.[(((triple2) -> rule3))] @2: The cat likes the cat.[(((((triple2) -> rule3)) -> rule1))] @3: The cat does not eat the cat.[(((((((triple2) -> rule3)) -> rule1)) -> rule5))]