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