「仮に「あの人差し指は書き難くて分かち難い」ということは正しくないとするとあの人差し指は算定し難くない」ということは誤りだ
fact1: もし「とある物は書き難いし加えて分かち難い」ということは誤りなら算定し難くない
$facts$ = fact1: もし「とある物は書き難いし加えて分かち難い」ということは誤りなら算定し難くない ; $hypothesis$ = 「仮に「あの人差し指は書き難くて分かち難い」ということは正しくないとするとあの人差し指は算定し難くない」ということは誤りだ ; $proof$ = 
事実1: もし「とある物は書き難いし加えて分かち難い」ということは誤りなら算定し難くない

仮説: 「仮に「あの人差し指は書き難くて分かち難い」ということは正しくないとするとあの人差し指は算定し難くない」ということは誤りだ