Anne is red. Anne is smart. Anne is white. Anne is young. Fiona is kind. Fiona is quiet. Fiona is white. Gary is green. Gary is kind. Gary is red. Gary is smart. Gary is young. If Fiona is smart then Fiona is green. If someone is white and kind then they are smart. If someone is young then they are smart. All quiet, young people are white. All red people are kind. If someone is green and quiet then they are red.
Gary is not white.