三段论：是以包含三个不同词项的两个直言命题为前提，推出一个直言命题为结论，而且每两个直言命题都有一个共同词项的推理。根据上述定义，下列属于三段论推理的是( )。