Bob is not cold. Bob is round. Dave is blue. Erin is big. Harry is big. Harry is blue. Harry is round. If someone is red and big then they are furry. If someone is not red then they are round. If someone is round then they are green. Blue, green people are cold. Furry, green people are not red. If someone is cold then they are furry. If Harry is blue then Harry is round.
Harry is not green.