Bob is cold. Bob is not nice. Bob is white. Charlie is not blue. Charlie is cold. Charlie is nice. Charlie is smart. Charlie is white. Charlie is young. Fiona is big. Fiona is blue. Fiona is not cold. Fiona is not nice. Fiona is smart. Fiona is white. Fiona is young. If something is not young and not cold then it is white. All smart things are big. If Bob is big then Bob is not young.
Fiona is cold.