以“如果贪污腐化，就会构成犯罪”为前提，进行有效的充分条件假言直言推理，其小前提可以是A贪污腐化B构成犯罪C没有贪污腐化D末构成犯罪