Charlie is blue. Charlie is cold. Charlie is red. Erin is big. Erin is cold. Erin is quiet. Erin is red. Erin is round. Fiona is big. Fiona is quiet. Fiona is red. Fiona is round. All quiet, cold things are round. Big things are blue. If something is quiet then it is round. If something is round and blue then it is smart. All smart, blue things are red. If something is big and quiet then it is red. If Erin is quiet then Erin is blue. If Erin is round then Erin is smart.
Fiona is cold.