Charlie is white. Dave is not blue. Dave is furry. Dave is not green. Dave is white. Erin is big. Erin is blue. Erin is furry. Erin is green. Erin is not nice. Erin is red. Erin is white. Harry is big. Harry is furry. Harry is red. If Charlie is white and Charlie is not blue then Charlie is red. If someone is not furry then they are nice. If someone is red then they are big. If someone is nice and red then they are green. If someone is furry and nice then they are not white. If someone is red and not nice then they are green.
Harry is blue.