Charlie is big. Charlie is cold. Charlie is furry. Charlie is white. Charlie is young. Dave is blue. Dave is furry. Dave is white. Fiona is furry. Fiona is young. All white, blue people are big. If someone is young then they are furry. All cold people are white. If someone is cold then they are smart. If Dave is smart and Dave is cold then Dave is big. All furry people are smart.
Fiona is smart.