La seconda proposizione è equivalente a "Se Paolo non viene alla mia festa di compleanno, allora non viene neanche Marco". Pertanto, i seguenti ragionamenti deduttivi sono validi:
"Se Maria viene alla mia festa di compleanno, allora non viene Paolo"
"Maria è alla mia festa di compleanno"
$Dunque \space$ : "Paolo non è venuto"
"Se Paolo non è viene alla mia festa di compleanno, allora non viene neanche Marco"
"Paolo non è venuto"
$Dunque \space$ : "Non è venuto neanche Marco"
Come è facile osservare, la conclusione "Paolo non è venuto" è una conclusione intermedia poiché è considerata a sua volta come premessa per una successiva conclusione nel nostro processo inferenziale. Infatti, compare come seconda premessa nel secondo ragionamento deduttivo. Possiamo quindi concludere dicendo che:
"Se Maria viene alla mia festa di compleanno, allora non viene Marco"
"Maria è alla mia festa"
$Dunque \space$ : "Marco non è venuto"
In maniera equivalente,
"Se Marco viene alla mia festa di compleanno, allora non viene Maria"
"Marco è alla mia festa"
$Dunque \space$ : "Maria non è venuta"