The bald eagle is big. The bald eagle is rough. The bald eagle is not round. Round, big things are rough. If the bald eagle is round then the bald eagle is not rough. If something is young and round then it is big. Big, round things are young. If something is big and round then it is young. Blue, big things are not young. If something is big and rough then it is blue. Young things are blue.
The bald eagle visits the bald eagle.
@0: The bald eagle is big.[(triple1)] The bald eagle is not round.[(triple3)] The bald eagle is rough.[(triple2)] @1: The bald eagle is blue.[(((triple1 triple2) -> rule7))] @2: The bald eagle is not young.[(((((triple1 triple2) -> rule7) triple1) -> rule6))]