I have been using the infer from the proof package. I am wondering if there is a way to add line breaks in the proofs? For instance I would like to set:
A
B C
-----
D
But I couldn't find a way to do so. I have tried using \linebreak, \, and the multline environment but none of those worked.
\deduce{\infer{D}{B & C}}{A}
?