Anne is red. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is round. Dave is blue. Dave is not cold. Dave is kind. Dave is red. Dave is round. Dave is smart. Fiona is blue. Fiona is cold. Fiona is red. Fiona is round. Fiona is smart. If Fiona is smart then Fiona is cold. If Dave is round and Dave is not smart then Dave is red. If something is smart and not red then it is blue.
Anne is quiet.