Bob is cold. Bob is quiet. Bob is white. Charlie is big. Charlie is rough. Charlie is smart. Charlie is white. Dave is big. Dave is cold. Dave is quiet. Dave is red. Dave is rough. Dave is smart. Dave is white. Gary is red. Gary is smart. If Dave is rough then Dave is cold. Smart things are white.
Charlie is not rough.