The bald eagle is red. If something is young and red then it is cold. All red things are green. All cold, red things are rough. Green, young things are red. All green things are rough. If the bald eagle is rough and the bald eagle is young then the bald eagle is green.
The bald eagle is young.
@0: The bald eagle is red.[(triple1)] @1: The bald eagle is green.[(((triple1) -> rule2))] @2: The bald eagle is rough.[(((((triple1) -> rule2)) -> rule5))]