构造以下的推理证明。
(1)有理数都是实数,有的有理数是整数,因此有的实数是整数;
(2)(∃x)A(x)→(∀x)B(x)⊦(∀x)(A(x)→B(x));
(3)(∀x)(A(x)→B(x),(∀x)(C(x)→¬Bx))⊦(∀x)(C(x)→¬A(x))。