Modus tollens

Sebenarnya ini bukan kasus "modus tollens", tetapi mereka mungkin turunan "modus tollens" menggunakan beberapa langkah tambahan.