Charlie is cold. Charlie is not green. Charlie is nice. Charlie is quiet. Charlie is rough. Charlie is smart. Charlie is white. Dave is quiet. Gary is green. Gary is nice. Gary is quiet. Gary is smart. If something is cold and rough then it is quiet. If Charlie is green and Charlie is white then Charlie is quiet. All green things are not rough. All cold things are rough. Smart things are nice. If something is rough and not quiet then it is green. If something is not quiet then it is nice. If Gary is not nice then Gary is green.
Dave is cold.