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