Anne is round. Fiona is quiet. All quiet people are young. Smart, round people are rough.
Anne is round.
@0: Anne is round.[(triple1)] Fiona is quiet.[(triple2)] @1: Fiona is young.[(((triple2) -> rule1))]