The bald eagle is kind. The bald eagle is nice. The bald eagle is round. If the bald eagle is not kind then the bald eagle is big. Kind things are nice.
The bald eagle is not round.
@0: The bald eagle is kind.[(triple1)] The bald eagle is nice.[(triple2 OR ((triple1) -> rule2))] The bald eagle is round.[(triple3)]