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 is not nice.
@0: The bald eagle is nice.[(triple1)] @1: The bald eagle is kind.[(((triple1) -> rule1))] The bald eagle is rough.[(((triple1) -> rule2))]