Anne is round. Fiona is quiet. Harry is quiet. All round people are cold. All cold people are young.
Anne is not cold.
@0: Anne is round.[(triple1)] Fiona is quiet.[(triple2)] Harry is quiet.[(triple3)] @1: Anne is cold.[(((triple1) -> rule1))] @2: Anne is young.[(((((triple1) -> rule1)) -> rule2))]