Justify each step in the proof sequence of B /\ [(B /\ C) ->A'] /\(B->C)->A'

1.B

2.(B /\ C) ->A

3.B->C

4.C

5.B /\ C

6.A'