... ; (~M--->B) to P and ~M --->B (or P and ~B ---> M ... following is just the proof and a step by step application of ... same statement because the term "unless" in the provided sentence requires ... one of those terms and make it a sufficient condition for the ...