Zastosowany jest tu formalny schemat, gdzie implikacja "z A wynika B", po udowodnieniu, że nie zachodzi B, pozwala wywnioskować, że nie zachodzi A. Przykład z życia - jeśli wyłączymy przełącznik zapłonu (A) podczas czyszczenia samochodu, samochód będzie unieruchomiony (B). Zatem, jeśli widzimy sprawny samochód (nie B), to wiemy, że przełącznik zapłonu jest włączony (nie A).