Anne is quiet. Charlie is quiet. Dave is green. Gary is white. Green, white people are red. All big people are round.
Charlie is not quiet.
@0: Anne is quiet.[(triple1)] Charlie is quiet.[(triple2)] Dave is green.[(triple3)] Gary is white.[(triple4)]