Bob is green. Bob is not red. Charlie is big. Charlie is green. Harry is furry. Harry is not red. Harry is young. Smart, quiet things are young. If something is young then it is quiet. If something is not green then it is big. All smart things are young. If something is big and green then it is young. If Harry is quiet and Harry is red then Harry is not smart.
Harry is not quiet.