Anne is red. All green, smart things are quiet. If Anne is red then Anne is white. All cold, kind things are green. All red, white things are quiet. All white things are smart. Red, smart things are cold. All smart things are quiet. Smart things are cold.
Anne is not green.