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