Langkah kedua, penarikan kesimpulan silogisme. Ingat ekuivalensi disjungsi, a atau be setara dengan negasi a maka be. Kita ubah premis dua, q atau negasi er menjadi negasi q maka negasi er. Berdasarkan aturan silogisme, premis satu p maka negasi q dan premis dua negasi q maka negasi er, menghasilkan kesimpulan p maka negasi er.