Suffering

[Tobie]

I made an argument that goes a long the lines of this.

(a) (Objective/real) Morality
(b) God exists
© a -> b

I argue if we know © to be true, then (a) is true.

Knowing © to be true, implies (a) to be true, and it implies (b) to true (by chain).

Your logic failure here is that knowing © to be true doesn't mean (a) is true. We can declare © to be true, but declaring it true does not make objective morality exist.

For a "reducto ad absurdum" example;
I can conclude that having an 8 foot long penis would make walking around quite difficult. If we go by the logic in your post, it would mean I had an 8 foot long penis.