|   M → I
|   ￢ I ∧ L
|_  M ∨ B
|    |_  M         assumption
|    |    :
|    |    :
|    |    B          for some reason
|    M → B      conditional introduction
|    |_  B         assumption
|    B → B      conditional introduction
|    B               disjunction elimination