将下面命题符号化，并构造推理证明：所有有理数是实数，有些有理数是整数，所以有些实数是整数。