Anne is young. Fiona is big. Gary is young. Smart things are quiet. Big, young things are quiet. Big things are smart.
Gary is big.
@0: Anne is young.[(triple1)] Fiona is big.[(triple2)] Gary is young.[(triple3)] @1: Fiona is smart.[(((triple2) -> rule3))] @2: Fiona is quiet.[(((((triple2) -> rule3)) -> rule1))]