Kita gunakan konsep Modus Tollens. Rumusnya: P maka Q, negasi Q, maka kesimpulannya negasi P. Secara visual, jika lingkaran luar yaitu jalanan basah tidak terpenuhi, maka lingkaran hujan di dalamnya juga tidak ada. Jadi, kondisi saat ini adalah negasi Q.