Charlie is cold. Charlie is green. Charlie is nice. Dave is blue. Dave is cold. Dave is green. Dave is nice. Dave is red. Dave is rough. Dave is white. Red, blue people are green. All cold people are white. Blue people are cold. All cold people are blue. All blue people are rough. If Charlie is blue and Charlie is rough then Charlie is white.
Charlie is not rough.