Dave is nice. Dave is quiet. Dave is rough. Dave is young. Fiona is not round. Gary is rough. Gary is round. All round people are young. All kind, quiet people are rough.
Gary is young.
@0: Dave is nice.[(triple1)] Dave is quiet.[(triple2)] Dave is rough.[(triple3)] Dave is young.[(triple4)] Fiona is not round.[(triple5)] Gary is rough.[(triple6)] Gary is round.[(triple7)] @1: Gary is young.[(((triple7) -> rule1))]