Anne is furry. Anne is round. Charlie is furry. Charlie is green. Charlie is smart. Charlie is white. Harry is green. Harry is round. Harry is smart. Harry is white. If Anne is rough and Anne is round then Anne is big. If someone is green and round then they are rough. All big people are white. If someone is furry then they are green. All round, rough people are big. White, furry people are rough. All white, rough people are green. All round people are green.
Harry is not green.