Charlie is smart. Fiona is smart. Gary is white. If Charlie is cold and Charlie is rough then Charlie is white. Cold, kind things are round. Cold things are rough. Rough, kind things are smart. If Gary is white and Gary is blue then Gary is smart. If Fiona is white then Fiona is round. Round things are white. If something is smart then it is cold.
Fiona is not blue.