三段论是由两个包含着一个共同项的直言命题，得出一个新的直言命题的推理。根据以上定义，

三段论是由两个包含着一个共同项的直言命题，得出一个新的直言命题的推理。 根据以上定义，下列推理属于有效三段论的是（）。