The impossibilty of inverted reasoners

An 'inverted' reasoner is someone who finds the inferences we find easy, inversely difficult, and those that we find difficult, inversely easy. The notion was initially introduced by Christopher Cherniak in his book, Minimal Rationality, and appealed to by Stephen Stich in The Fragmentation of Reason. While a number of difficulties have been noted about what reasoning would amount to for such a reasoner, what has not been brought out in the literature is that such a reasoner is in fact logically impossible. This is what I hope to demonstrate in this paper.