The bald eagle is young. Rough, cold things are young. All round, young things are cold. All cold things are young. If something is cold and round then it is rough. If something is young then it is round. If something is round then it is young.
The bald eagle is not blue.
@0: The bald eagle is young.[(triple1)] @1: The bald eagle is round.[(((triple1) -> rule5))] @2: The bald eagle is cold.[(((((triple1) -> rule5) triple1) -> rule2))] @3: The bald eagle is rough.[(((((((triple1) -> rule5) triple1) -> rule2) ((triple1) -> rule5)) -> rule4))]