Örnekte öncüllerden biri tikel evetleme önermesidir. Diğer öncül ise tikel evetleme önermesinin bileşenlerinden birinin yanlış olduğunu iddia eden önermedir. Yani bileşenlerden birini elenmiş ve tikel evetleme önermesinin diğer bileşenin doğru olduğu sonucu çıkarılmıştır. Bu durum örneğin ayrık tasım olduğunu göstermektedir.