The bald eagle likes the cat. The cat is not red. If something likes the cat and the cat needs the bald eagle then the bald eagle does not need the cat. If something likes the cat then the cat visits the bald eagle. If the bald eagle likes the cat and the bald eagle is rough then the cat visits the bald eagle. If something visits the bald eagle then the bald eagle is blue. If something likes the bald eagle and the bald eagle needs the cat then it does not visit the bald eagle. If something visits the cat then it is nice.
The cat does not visit the bald eagle.
@0: The bald eagle likes the cat.[(triple1)] The cat is not red.[(triple2)] @1: The cat visits the bald eagle.[(((triple1) -> rule2))] @2: The bald eagle is blue.[(((((triple1) -> rule2)) -> rule4))]