Dave is blue. Dave is kind. Dave is red. Dave is white. Dave is young. Erin is blue. Erin is green. Erin is kind. Erin is red. Erin is round. Erin is white. Fiona is blue. Fiona is red. Fiona is round. Fiona is white. If Dave is blue then Dave is kind. If something is white and green then it is young. All young, round things are kind. If something is blue and white then it is green. All round things are green. If Erin is kind then Erin is green.
Erin is not blue.