Anne is young. Bob is young. Fiona is quiet. Gary is round. If something is round then it is quiet. All kind things are round.
Bob is quiet.
@0: Anne is young.[(triple1)] Bob is young.[(triple2)] Fiona is quiet.[(triple3)] Gary is round.[(triple4)] @1: Gary is quiet.[(((triple4) -> rule1))]