Charlie is quiet. Charlie is rough. Dave is round. Quiet, blue things are round. If Charlie is blue then Charlie is quiet.
Dave is not round.
@0: Charlie is quiet.[(triple1)] Charlie is rough.[(triple2)] Dave is round.[(triple3)]