在下列三段论推理式中，遵守三段论规则的有效式是（　）。