以“假若所有A是B，就会有的C是B”和“所有B不是C”为前提进行假言推理，能必然推出的结论是（）。