Bob is blue. Bob is cold. Dave is green. Erin is cold. Erin is green. Harry is big. Harry is green. All big, cold people are green. All kind people are big. Kind, white people are furry. If someone is cold then they are blue. All kind people are white. If Erin is big and Erin is cold then Erin is kind. If someone is blue then they are big. If Dave is green and Dave is not blue then Dave is kind.
Harry is not blue.