如何解自然演绎中的公式

Question

我需要你的帮助。我需要证明这个公式，但我不知道如何证明。我尝试关闭所有想到的东西，但我无法完成所有分支。这是我的错误尝试。

公式：((K ∧ A) ⇒ (U ∨ B)) ∨ ((K ∧ A) ∧ (¬U ∧ ¬B)) 我将非常感谢您的所有帮助.. Ty