Charlie is cold. All rough things are blue. If Charlie is cold then Charlie is red. Blue things are red. All cold, red things are rough. All blue things are kind. All rough things are green.
Charlie is green.