Anne is blue. Fiona is white. Gary is young. Green people are smart. All blue people are kind. Furry people are white. If Gary is blue then Gary is kind. All smart people are blue. If someone is white then they are smart. All kind people are furry. If Anne is kind then Anne is furry.
Anne is not white.