I could just as easily say, though:
P1. If Thor exists, Yahweh does not exist.
P2. Thor exists.
C. Therefore, Yahweh does not exist.
P1. If Thor exists, Yahweh does not exist.
P2. Thor exists.
C. Therefore, Yahweh does not exist.