The bald eagle is blue. The bald eagle is green. The bald eagle is nice. The bald eagle is rough. The bald eagle is young. If the bald eagle is green and the bald eagle is rough then the bald eagle is nice. If something is blue then it is green. If something is nice and not rough then it is not young.
The bald eagle does not eat the bald eagle.
@0: The bald eagle is blue.[(triple1)] The bald eagle is green.[(triple2 OR ((triple1) -> rule2))] The bald eagle is nice.[(triple3 OR ((triple2 triple4) -> rule1) OR ((((triple1) -> rule2) triple4) -> rule1))] The bald eagle is rough.[(triple4)] The bald eagle is young.[(triple5)]