Citiem vārdiem sanāk tā:

X := dievs ir
Y := pierādījums dieva eksistencei

P₁: ∃Y ⇒ X; (ja eksistē Y, tad X)

P₂: ∄Y. (Y neeksistē)

Saskaņā ar loģiku X paliek nedeterminētā stāvoklī (var būt tiklab patiess kā aplams), tātad tas apstāklis, ka Dieva pierādījums neeksistē, nenozīmē ne ka Dievs neeksistē, nedz arī to, ka eksistē.