I am given this formulae. $A \land B \implies C \lor D \lor E$
I want to deduce this formulae with sequent calculus. But my problem is that I dont know where to start, or which rule to take first. Because if I take $\land-R$ rule first, I am getting different leaves at the end and if I take $\land-L$ first, I am getting different leaves at the and.
What is the exact rule for where and with what to start?
You can't deduce it, as it isn't a valid sequent ....