Răspuns:
Un silogism poate fi construit folosind relațiile dintre propozițiile date. Unul dintre silogismele posibile este:
1. Toate MeP sunt SaM (MeP -> SaM)
2. Toate SaM sunt SeP (SaM -> SeP)
3. Deci, toate MeP sunt SeP (MeP -> SeP)
Aceasta este o formă de silogism cunoscută ca silogism transiv, în care dacă prima și a doua propoziție sunt adevărate, atunci concluzia trebuie să fie adevărată.