Hey, you! Yes, you. I can prove that you're a virgin who likes to eat cum.

Consider the following statement:
"If you like to eat cum, it means you had sex"
it is clearly false.
So we can say:
not(P=>Q)
where P is "You like to eat cum", and Q is "You had sex".
However, "not(P=>Q)" can also be written as:
P and not Q
therefore, the following statement:
"You like to eat cum, and you never had sex"
is necessarily true.

Prove me wrong.