Langkah pertama, mari kita bedah premis satu. Kalimatnya berbunyi: tidak ada atlet yang bukan perenang. Karena ada negasi ganda, maknanya bisa kita sederhanakan menjadi: Semua atlet adalah perenang. Jika kita lihat pada visualisasi diagram Venn, lingkaran atlet berada di dalam lingkaran perenang. Dari sini, kita bisa mengambil sifat kontraposisinya, yaitu: jika bukan perenang, maka pasti bukan atlet. Dalam notasi logika, negasi perenang menghasilkan negasi atlet.