The whole thing is a long-winded approach to seeing if the examinee understands that the assumption "if a then b" implies the statement "if not b then then not a." And, the red herring "not a" (which does not prove "not b") is there to tempt the examinee.