用推理方法证明（A∨B）→（C∧D），（D∨F）→E├A→E。