「「あの前鋸筋は後者でないし近付き難いということはない」ということは誤っているとするとあの前鋸筋は片付くということはない」ということは誤りである
fact1: もしも「なんらかの物は後者でなくて近付き難くない」ということは誤っているとすれば「それは片付かない」ということは事実だ
$facts$ = fact1: もしも「なんらかの物は後者でなくて近付き難くない」ということは誤っているとすれば「それは片付かない」ということは事実だ ; $hypothesis$ = 「「あの前鋸筋は後者でないし近付き難いということはない」ということは誤っているとするとあの前鋸筋は片付くということはない」ということは誤りである ; $proof$ = 
事実1: もしも「なんらかの物は後者でなくて近付き難くない」ということは誤っているとすれば「それは片付かない」ということは事実だ

仮説: 「「あの前鋸筋は後者でないし近付き難いということはない」ということは誤っているとするとあの前鋸筋は片付くということはない」ということは誤りである