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