I'm working with classic natural deduction system NK and the elimination rule for disjunction is stated as follows (I apologize, I don't know how to express it in tree-form):
$\Gamma \vdash \chi$ is an immediate consequence of the sequents: $\Gamma \vdash \phi \lor \psi \quad \Gamma ,\phi \vdash \chi \quad \Gamma, \psi \vdash \chi$
I'm trying to use that rule to derive $\phi \to \psi \lor \chi \vdash (\phi \to \psi) \lor (\phi \to \chi)$, so I assume I should derive it from the following sequents: $$\ \phi \to \psi \lor \chi \vdash \psi \lor \chi \\ \phi \to \psi \lor \chi,\ \psi \vdash (\phi \to \psi) \lor (\phi \to \chi) \\ \phi \to \psi \lor \chi,\ \chi \vdash (\phi \to \psi) \lor (\phi \to \chi) $$ But the problem is that I can't get to the first sequent, instead of it I get this one:$$ \phi \to \psi \lor \chi, \ \phi \vdash \psi \lor \chi $$ and I don't know how to fix it in order to apply the elimination rule for disjunction.
Any hint, advice or idea is welcome, thanks in advance.