“如果甲和乙都不是木工，那么丙是木工”为一个前提，若再增加另一个前提（ ），可必然推出“乙是木工”的结论。
选项：

A:丙是木工。 ;
B:丙不是木工。;
C:甲不是木工。;
D:甲和丙都不是木工。