Wniosek wynika logicznie z przesłanek w poniższym wnioskowaniu:

Jeśli pasażer nie zapłacił za przejazd, to jeśli kontroler sprawdził bilet, to nałożono opłatę dodatkową.

Nie jest tak, że kontroler sprawdził bilet oraz nie nałożono opłaty.

Zatem: pasażer zapłacił za przejazd oraz kontroler sprawdził bilet.