Anne is big. Anne is green. Anne is nice. Anne is quiet. Anne is young. Charlie is big. Charlie is furry. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is smart. Charlie is young. Harry is big. Harry is quiet. Harry is smart. If someone is nice then they are green. All smart people are big. If Charlie is big then Charlie is quiet. If Harry is quiet then Harry is young. All furry people are green. All big, nice people are smart. If someone is big and young then they are smart. All furry, smart people are big.
Harry is not furry.