Bob is big. Bob is blue. Bob is furry. Bob is smart. Bob is not young. Charlie is big. Charlie is quiet. Harry is big. Harry is blue. Harry is cold. If Charlie is smart then Charlie is not blue. If someone is blue then they are quiet. If someone is smart and cold then they are quiet. If someone is not young and not big then they are furry. If Charlie is cold then Charlie is not quiet. If Charlie is cold and Charlie is quiet then Charlie is blue. If Harry is quiet then Harry is furry. If someone is big and blue then they are not young.
Harry is not blue.