Anne is young. Charlie is young. Fiona is cold. Gary is quiet. If someone is rough then they are round. If Anne is young then Anne is quiet.
Gary is not quiet.
@0: Anne is young.[(triple1)] Charlie is young.[(triple2)] Fiona is cold.[(triple3)] Gary is quiet.[(triple4)] @1: Anne is quiet.[(((triple1) -> rule2))]