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