The bald eagle is nice. 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 then the bald eagle is nice. All nice people are red.
The bald eagle is young.
@0: The bald eagle is nice.[(triple1 OR ((triple3) -> rule1))] The bald eagle is red.[(triple2 OR ((triple1) -> rule2) OR ((((triple3) -> rule1)) -> rule2))] The bald eagle is rough.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle is young.[(triple5)]