Describe Skeptik proof format

The sample proof is still false.