The bald eagle is green. The bald eagle is red. The bald eagle is rough. The bald eagle is round. The bald eagle is young. If the bald eagle is rough and the bald eagle is not green then the bald eagle is red. If something is rough then it is young. Young things are rough.
The bald eagle is rough.
@0: The bald eagle is green.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle is rough.[(triple3 OR ((triple5) -> rule3))] The bald eagle is round.[(triple4)] The bald eagle is young.[(triple5 OR ((triple3) -> rule2))]