Anne is big. Anne is not furry. Anne is young. Dave is furry. Gary is big. Gary is blue. Gary is furry. Harry is big. Harry is red. Harry is young. If someone is red and not young then they are big. All big people are blue. If Harry is young and Harry is furry then Harry is nice. All furry people are nice. If Dave is furry and Dave is white then Dave is red. All white, furry people are nice. Nice people are white. If someone is not big then they are blue. If someone is nice and not blue then they are furry.
Harry is not nice.