Proofs using MP, MT, HS, DS, CD, Simp, Conj, or Add.
To solve this proof, what rule(s) would you need to apply? Please type rule
abbreviations in the order in which you applied them (from left to right,
leaving a space between rules).
1. $\sim B \bullet G$
2. $B \lor L$ / $L \bullet \sim B$