The bald eagle is big. The bald eagle is blue. The bald eagle is green. The bald eagle is rough. The bald eagle is round. All round people are rough.
The bald eagle is not round.
@0: The bald eagle is big.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is rough.[(triple4 OR ((triple5) -> rule1))] The bald eagle is round.[(triple5)]