Anne is nice. Charlie is kind. Dave is kind. Fiona is blue. All nice things are kind. If something is kind and round then it is blue. If something is nice then it is green. All big, round things are blue. Blue, big things are red. If something is green then it is blue. If something is blue and green then it is big. If Dave is big then Dave is blue.
Anne is not blue.