Anne is big. Anne is cold. Anne is nice. Anne is round. Charlie is blue. Charlie is cold. Charlie is kind. Charlie is nice. Charlie is round. Charlie is smart. Dave is cold. Dave is smart. Fiona is kind. Fiona is nice. Fiona is round. Fiona is smart. If someone is big and cold then they are blue. If Charlie is blue then Charlie is smart. All kind people are nice. If Anne is smart and Anne is cold then Anne is kind. All kind, cold people are big. All cold people are kind. If someone is kind and nice then they are cold. Big, cold people are kind.
Fiona is not cold.