Anne is cold. Bob is kind. Dave is round. Cold, quiet things are round. If Anne is quiet and Anne is round then Anne is young. All cold things are quiet.
Anne is young.
@0: Anne is cold.[(triple1)] Bob is kind.[(triple2)] Dave is round.[(triple3)] @1: Anne is quiet.[(((triple1) -> rule3))] @2: Anne is round.[(((triple1 ((triple1) -> rule3)) -> rule1))] @3: Anne is young.[(((((triple1) -> rule3) ((triple1 ((triple1) -> rule3)) -> rule1)) -> rule2))]