以“PEM”、“MAS”为大小前提进行三段论推理，可以推出（ ）。