Charlie is not green. Charlie is white. Dave is smart. Fiona is big. Fiona is furry. Fiona is round. Harry is furry. If something is not furry then it is nice. Round, smart things are white. All round things are nice. If Dave is smart then Dave is not white. If something is not white and not nice then it is not smart. If something is not nice then it is not white.
Fiona is not white.