「もし仮に「厳めしくらなくて付け難くない」ということは成り立たないとすると「控除し切れない」ということは本当である」ものはある
fact1: 仮に「その鋼板は厳めしくらなくてそれは付け難いということはない」ということは偽ならばそれは控除し切れない fact2: もし「その鋼板は控除し切れない一方で司式者だ」ということは嘘だとするとそれは屈従しない fact3: もしあのＯＦが交わし合わなくて第十区でないならそれは常磐でない
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: 仮に「その鋼板は厳めしくらなくてそれは付け難いということはない」ということは偽ならばそれは控除し切れない fact2: もし「その鋼板は控除し切れない一方で司式者だ」ということは嘘だとするとそれは屈従しない fact3: もしあのＯＦが交わし合わなくて第十区でないならそれは常磐でない ; $hypothesis$ = 「もし仮に「厳めしくらなくて付け難くない」ということは成り立たないとすると「控除し切れない」ということは本当である」ものはある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: 仮に「その鋼板は厳めしくらなくてそれは付け難いということはない」ということは偽ならばそれは控除し切れない
事実2: もし「その鋼板は控除し切れない一方で司式者だ」ということは嘘だとするとそれは屈従しない
事実3: もしあのＯＦが交わし合わなくて第十区でないならそれは常磐でない

仮説: 「もし仮に「厳めしくらなくて付け難くない」ということは成り立たないとすると「控除し切れない」ということは本当である」ものはある
1. 事実1から、仮説が導かれる

よって、仮説が証明されました。