Dave is round. Fiona is green. Gary is quiet. Quiet things are big. Quiet, big things are young.
Gary is round.
@0: Dave is round.[(triple1)] Fiona is green.[(triple2)] Gary is quiet.[(triple3)] @1: Gary is big.[(((triple3) -> rule1))] @2: Gary is young.[(((triple3 ((triple3) -> rule1)) -> rule2))]