Mari kita analisis premis satu. Pertama, kita buat pemisalan: e adalah Ela berkunjung, o adalah Ola pulang awal, dan m adalah Elo memancing. Kalimat Ola tidak pulang awal apabila Ela tidak berkunjung dapat ditulis menjadi notasi logika: negasi e maka negasi o.