The ontological argument is a valid deduction

> A, B implies not A thus not B

The problem is that you have to prove both A and (B implies not A), without self referentially assuming it in the first place,