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