The bald eagle visits the cat. The cat is kind. If something visits the cat and it chases the bald eagle then the cat visits the bald eagle. If something visits the cat then it is round. If something is rough and it visits the cat then the cat chases the bald eagle. If something visits the cat and the cat visits the bald eagle then the bald eagle visits the cat. If something is round then it chases the bald eagle. If something needs the bald eagle and the bald eagle chases the cat then it visits the cat.
The bald eagle is not round.
@0: The bald eagle visits the cat.[(triple1)] The cat is kind.[(triple2)] @1: The bald eagle is round.[(((triple1) -> rule2))] @2: The bald eagle chases the bald eagle.[(((((triple1) -> rule2)) -> rule5))] @3: The cat visits the bald eagle.[(((triple1 ((((triple1) -> rule2)) -> rule5)) -> rule1))]