在以下推理形式中，不属于三段论第三格有效式的是（）。