Logical contrapositive it is, wofa. You get the extra credit. And I say the cognitive dissonance of having a logical fallacy embedded in a joke about René Descartes just makes all that much funnier.

Oh, and the name of the fallacy is Denying the Antecedent.