Charlie is not big. Charlie is cold. Charlie is furry. Charlie is not round. Charlie is not smart. Dave is big. Dave is cold. Dave is round. Dave is smart. Fiona is big. Fiona is cold. Fiona is green. Fiona is not red. Fiona is not round. Fiona is smart. If Dave is round and Dave is cold then Dave is furry. If something is red and not smart then it is cold. If something is smart and not round then it is green.
Charlie is furry.