The bald eagle is green. All big things are young. If something is young and green then it is cold. If something is green then it is young. Green, cold things are big. If something is big then it is young. All cold things are green.
The bald eagle is big.
@0: The bald eagle is green.[(triple1)] @1: The bald eagle is young.[(((triple1) -> rule3))] @2: The bald eagle is cold.[(((((triple1) -> rule3) triple1) -> rule2))] @3: The bald eagle is big.[(((triple1 ((((triple1) -> rule3) triple1) -> rule2)) -> rule4))]