Charlie is not red. Dave is furry. Dave is not green. Erin is nice. Erin is red. Fiona is kind. Fiona is red. If Charlie is furry and Charlie is kind then Charlie is green. If something is furry and not red then it is blue.
Erin is not nice.