Dave is kind. Dave is quiet. Erin is blue. Erin is cold. Erin is green. Erin is kind. Erin is quiet. If someone is kind then they are blue. If Dave is blue then Dave is red. If someone is quiet then they are white. If Erin is green and Erin is quiet then Erin is red. If Dave is red and Dave is kind then Dave is quiet. All blue people are quiet. If Erin is white then Erin is quiet. If Dave is white and Dave is red then Dave is green.
Erin is not blue.