“所有的马克思主义者都是唯物主义者；某人不是马克思主义者；所以，某人不是唯物主义者。”这一推理属于何种推理？其推理形式是否有效？为什么？