Charlie is blue. Charlie is cold. Charlie is kind. Charlie is red. Erin is big. Fiona is big. Fiona is blue. Red things are blue. Red things are cold. If something is kind and red then it is nice. If Fiona is red and Fiona is big then Fiona is blue. Nice things are red. If Charlie is blue and Charlie is big then Charlie is red. All cold things are kind. All nice things are cold.
Fiona is not blue.