Anne is quiet. Charlie is not smart. Dave is not quiet. Blue things are quiet. If something is red and not cold then it is smart.
Dave is red.
@0: Anne is quiet.[(triple1)] Charlie is not smart.[(triple2)] Dave is not quiet.[(triple3)]