Anne is big. Charlie is rough. Gary is not furry. Gary is kind. Harry is furry. Harry is not green. Harry is nice. If someone is nice and rough then they are big. If someone is rough and furry then they are cold. If Gary is cold then Gary is furry. All big, green people are furry. All cold people are big. If someone is rough then they are green. All green people are nice. If someone is not cold then they are kind.
Harry is rough.