符号化下列命题，并构造推理证明。
中华牙防组委员会成员都是教授，并且是牙医；有些中华牙防组委员会成员是资深专家。所以，有的中华牙防组委员会成员是牙医，且是资深专家。