1. I->C
2. I->C
3. (I&L)->(B->C)
4. B->[(I&-L)v-C]
5. (-B&-C)v(IvL)
6. B<->[(C&L)v-I]
7. (BvC)v(I&-L)
8. B <-> (IvC)
9. Iv(B&C)
10. B->I
11. (B&L)->[(C&-I)v(-C&I)]
12. (-L&-I)->(-B&-C)