The bald eagle is not green. The bald eagle is red. The bald eagle is round. If the bald eagle is rough and the bald eagle is red then the bald eagle is round. If the bald eagle is green then the bald eagle is nice. If something is rough then it is round. Rough things are not red. All rough things are red. If something is round then it is red. Green things are rough. If the bald eagle is nice and the bald eagle is red then the bald eagle is not green.
The bald eagle is round.
@0: The bald eagle is not green.[(triple1)] The bald eagle is red.[(triple2 OR ((triple3) -> rule6))] The bald eagle is round.[(triple3)]