The bald eagle is nice. The bald eagle is not rough. The bald eagle is round. If something is nice and green then it is not rough. If something is nice then it is not rough. Nice, green things are not rough. If something is kind then it is green. All nice, kind things are green. Kind things are nice. If something is green then it is round. If the bald eagle is not round then the bald eagle is not rough.
The bald eagle likes the bald eagle.
@0: The bald eagle is nice.[(triple1)] The bald eagle is not rough.[(triple2 OR ((triple1) -> rule2))] The bald eagle is round.[(triple3)]