Dave is blue. Dave is not cold. Dave is rough. If Dave is not furry then Dave is not blue. Furry things are red. All nice things are not blue. If something is cold and not furry then it is nice. If something is blue and red then it is not nice. If Dave is not blue then Dave is not round. All round things are rough. If something is round then it is not rough.
Dave is not blue.
@0: Dave is blue.[(triple1)] Dave is not cold.[(triple2)] Dave is rough.[(triple3)]