Bob is nice. Bob is red. Charlie is not blue. Charlie is furry. Charlie is quiet. Charlie is red. Erin is blue. Erin is furry. Erin is green. Gary is not blue. Gary is furry. Gary is green. If something is blue then it is cold. If something is not nice and not red then it is furry. All cold, blue things are quiet. If something is not red then it is cold. All red, nice things are cold. If something is not blue then it is cold.
Erin is not red.