第一个推理是“过失犯罪不是故意犯罪，共同犯罪是故意犯罪，所以共同犯罪不是过失犯罪”，它的推理形式是：PEM∧SAM├SEP。这是有效的三段论。
第二个推理是“共同犯罪不是过失犯罪，合伙走私是共同犯罪，可见合伙走私不是过失犯罪”，它的推理形式是：MEP∧SAM├SEP。这是有效的三段论。
第三个推理是“共同犯罪是故意犯罪，合伙走私是共同犯罪，可见合伙走私是故意犯罪”，它的推理形式是：MAP∧SAM├SAP。这是有效的三段论。