「あの著述はストップバンドでない」ということは事実だ
fact1: 「あの財務状況は申し開くということはないししかも分離し易くない」ということは成り立たない fact2: 仮に「あの財務状況は申し開かないし加えて分離し易いということはない」ということは成り立たないとすればあの著述はストップバンドである
$facts$ = fact1: 「あの財務状況は申し開くということはないししかも分離し易くない」ということは成り立たない fact2: 仮に「あの財務状況は申し開かないし加えて分離し易いということはない」ということは成り立たないとすればあの著述はストップバンドである ; $hypothesis$ = 「あの著述はストップバンドでない」ということは事実だ ; $proof$ = 
事実1: 「あの財務状況は申し開くということはないししかも分離し易くない」ということは成り立たない
事実2: 仮に「あの財務状況は申し開かないし加えて分離し易いということはない」ということは成り立たないとすればあの著述はストップバンドである

仮説: 「あの著述はストップバンドでない」ということは事実だ