Charlie is cold. Charlie is not nice. Charlie is red. Charlie is round. Charlie is white. Fiona is cold. Fiona is not round. If something is not white then it is blue. If something is blue and not nice then it is red. If Fiona is cold then Fiona is not white. Nice things are cold. If something is white and cold then it is not smart. All nice things are not red.
Charlie is not blue.