Logic is based on inference, reasoning, deduction, induction, truth values and so on, but not necessarily facts. Facts and truths are different things in the context of logic.
I was using alcohol as an analogy. You ask me if I "even know what logic is", so I ask if you even know what an analogy is. I wasn't saying they were alike in any way, so any differences between the two are irrelevant and meaningless. I wasn't making a statement about the medical benefits of alcohol; that's why I said you could substitute "alcohol" with "bananas" or anything else you'd like. The label doesn't change the analogy. You missed the point I was making entirely then you start with your argumentum ad consequentium statements. Also, your trying to equivocate propositional logic with computational logic.
There is nothing to refute. Yes, IF (x ⇒ y) is True, then (barring any additional or unknown variables) then y if x everytime.
What do you say we end this conversation? No hard feelings.