可以推出，所有a都是b，说明b包含了全部的a，即可以说明有些b是a，而所有a是c，所以有些b是c；三段论的标准描述是：所有a是c，而b是c，因此a是c；所以这个不能是三段论