The bald eagle is nice. If the bald eagle is nice then the bald eagle is kind. All nice people are rough.
The bald eagle does not visit the bald eagle.
@0: The bald eagle is nice.[(triple1)] @1: The bald eagle is kind.[(((triple1) -> rule1))] The bald eagle is rough.[(((triple1) -> rule2))]