Dave is not cold. Dave is red. Dave is smart. Nice, blue things are not quiet. If something is quiet and not nice then it is blue. If something is quiet and rough then it is not smart. Cold things are not red. If something is quiet and not smart then it is cold. If Dave is red and Dave is not smart then Dave is cold.
Dave is not blue.
@0: Dave is not cold.[(triple1)] Dave is red.[(triple2)] Dave is smart.[(triple3)]