The bald eagle is big. The bald eagle is not nice. The bald eagle is not red. The bald eagle is rough. The bald eagle is young. If the bald eagle is nice then the bald eagle is not young. If someone is rough then they are big. If someone is rough then they are young.
The bald eagle visits the bald eagle.
@0: The bald eagle is big.[(triple1 OR ((triple4) -> rule2))] The bald eagle is not nice.[(triple2)] The bald eagle is not red.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle is young.[(triple5 OR ((triple4) -> rule3))]