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