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