Dave is quiet. Dave is not round. Gary is young. If someone is quiet then they are young.
Dave is quiet.
@0: Dave is not round.[(triple2)] Dave is quiet.[(triple1)] Gary is young.[(triple3)] @1: Dave is young.[(((triple1) -> rule1))]