Dave is red. Fiona is green. Fiona is red. If something is smart then it is not green. If something is quiet and smart then it is not red. All kind, white things are not smart. If something is green then it is nice. Quiet things are green. All smart things are not nice. All smart, red things are not kind. Red, kind things are white.
Fiona is not white.