如果「 X 唔係全能」嘅否定係真（如果用雙重否定消去，就違反直觀）咁「 X 能夠造一塊自己舉唔起嘅石頭」嘅否定就會係真（否定後件律）即係 X 唔能夠造一塊自己舉唔起的石頭，所以 X 唔係全能。