Anne is smart. Anne is white. Charlie is big. Charlie is kind. Charlie is nice. Charlie is round. Charlie is white. Dave is kind. Dave is round. Dave is white. Fiona is big. Fiona is cold. Fiona is nice. Fiona is white. All cold things are round. Smart things are round. All cold, white things are big. If something is big then it is nice. If something is smart and kind then it is cold. All cold, round things are smart. If Dave is kind and Dave is white then Dave is round. If something is cold then it is kind. All round things are kind.
Charlie is cold.