Bob is quiet. Charlie is blue. Dave is quiet. Harry is not white. If something is red then it is quiet.
Charlie is not blue.
@0: Bob is quiet.[(triple1)] Charlie is blue.[(triple2)] Dave is quiet.[(triple3)] Harry is not white.[(triple4)]