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