Charlie is green. Dave is smart. Fiona is quiet. Gary is green. If Dave is quiet then Dave is rough.
Fiona is quiet.
@0: Charlie is green.[(triple1)] Dave is smart.[(triple2)] Fiona is quiet.[(triple3)] Gary is green.[(triple4)]