It should be obvious that, since English clearly IS capable of being reliably serialized to and from text, that any proof that it can't be is obviously based on a flawed assumption, and so functions as a proof by contradiction of its assumption's falsity. In this case, it would be the semigroup model for orthography/phonology which is the flawed assuption.