Charlie is blue. Charlie is cold. Charlie is red. Charlie is rough. Charlie is smart. Charlie is white. Charlie is young. Fiona is cold. Fiona is rough. Fiona is smart. Fiona is white. Fiona is young. All red, blue things are rough. If Fiona is blue and Fiona is cold then Fiona is red. All smart, young things are blue.
Fiona is not red.