Anne is blue. Anne is furry. Anne is kind. Anne is nice. Anne is red. Anne is smart. Anne is white. Fiona is kind. Fiona is smart. Fiona is white. All white things are smart. All kind, nice things are smart. If Fiona is red and Fiona is smart then Fiona is furry. All nice things are blue. If Anne is blue then Anne is kind. All white things are nice.
Fiona is not nice.