Bob is nice. Charlie is not furry. Dave is nice. Fiona is not nice. Kind, nice things are quiet. If something is nice and not big then it is kind. If something is nice and blue then it is kind. Nice, big things are blue. If Charlie is big then Charlie is furry. If Bob is kind then Bob is not green. If Fiona is quiet and Fiona is not nice then Fiona is furry. All furry, green things are blue.
Charlie is nice.