The bear is round. All round things are cold. All young things are cold. If something is green then it is round. All green things are not round. If something is green then it is round. If something is cold and round then it is young.
The bear sees the bear.
@0: The bear is round.[(triple1)] @1: The bear is cold.[(((triple1) -> rule1))] @2: The bear is young.[(((((triple1) -> rule1) triple1) -> rule6))]