The bald eagle is red. Nice things are round. Young things are round. All red things are kind. If something is red and young then it is kind. If the bald eagle is red and the bald eagle is kind then the bald eagle is young. If the bald eagle is not young then the bald eagle is not round.
The bald eagle does not visit the bald eagle.
@0: The bald eagle is red.[(triple1)] @1: The bald eagle is kind.[(((triple1) -> rule3))] @2: The bald eagle is young.[(((triple1 ((triple1) -> rule3)) -> rule5))] @3: The bald eagle is round.[(((((triple1 ((triple1) -> rule3)) -> rule5)) -> rule2))]