Charlie is round. Charlie is smart. Dave is furry. Dave is green. Fiona is furry. Fiona is green. Fiona is red. Fiona is smart. Gary is red. Gary is round. Gary is smart. Gary is white. Round things are green. Green, round things are red. Smart things are red. All green things are white. If something is red then it is furry. If Dave is white and Dave is furry then Dave is smart. Green, smart things are nice. Round things are nice.
Charlie is not furry.