使用归结法证明:((α→(β→γ))∧(δ∨α)∧β) →(δ→γ)