\noindent 
\tab\tab\tab\tab\tab\tab$P\implies Q$\\[4pt]
\tab\tab\tab\tab\tab\tab$L\land M \implies P$\\[4pt]
\tab\tab\tab\tab\tab\tab$B \land L \implies M$\\[4pt]
\tab\tab\tab\tab\tab\tab$A \land P\implies L$\\[4pt]
\tab\tab\tab\tab\tab\tab$A \land B\implies L$\\[4pt]
\tab\tab\tab\tab\tab\tab$A$\\[4pt]
\tab\tab\tab\tab\tab\tab$B$
