Anne is smart. Charlie is smart. Fiona is red. Gary is rough. Red, quiet things are nice. If something is rough and quiet then it is nice. All rough things are white. All nice things are red. All red, white things are rough. Smart things are green. If something is smart then it is red. Red, smart things are white.
Anne is not white.