もしもあの聖典が合わせ辛いとすればあの横無振りは確立・整備する
fact1: もし仮にあの聖典は合わせ辛いとすれば「発出するしかつ貧しい」ということは間違っている fact2: もしも「あの聖典は発出する一方で貧しくない」ということは成り立たないならその横無振りは確立・整備する fact3: 「「あの聖典は発出するしまた貧しい」ということは成り立つ」ということは誤りだ fact4: もし「あの聖典は確立・整備するけど合わせ辛くない」ということは本当でないとすれば「その横無振りは貧しい」ということは成り立つ fact5: その横無振りは合わせ辛い fact6: 「あの聖典は合わせ辛いけど欲深くない」ということは嘘だ fact7: 仮にあの聖典は貧しいならば「その横無振りは確立・整備する」ということは事実である fact8: もし仮にあの聖典が確立・整備するならその横無振りは合わせ辛い fact9: 「あの聖典は確立・整備するがそれは合わせ辛くない」ということは偽である fact10: 「もしあの聖典は合わせ辛くないとすれば「その横無振りは文書群だがしかし発出しない」ということは間違っている」ということは本当だ fact11: 「あの聖典は合わせ辛いけれど確立・整備するということはない」ということは事実でない fact12: もしあの聖典は合わせ辛いならば「発出するが貧しくない」ということは事実でない
void -> assump1: 以下のように仮定する。あの聖典は合わせ辛い; fact12 & assump1 -> int1: 「あの聖典は発出する一方で貧しくない」ということは成り立たない; int1 & fact2 -> int2: その横無振りは確立・整備する; [assump1] & int2 -> hypothesis;
「その横無振りは文書群だけど発出しない」ということは成り立つということはない
$facts$ = fact1: もし仮にあの聖典は合わせ辛いとすれば「発出するしかつ貧しい」ということは間違っている fact2: もしも「あの聖典は発出する一方で貧しくない」ということは成り立たないならその横無振りは確立・整備する fact3: 「「あの聖典は発出するしまた貧しい」ということは成り立つ」ということは誤りだ fact4: もし「あの聖典は確立・整備するけど合わせ辛くない」ということは本当でないとすれば「その横無振りは貧しい」ということは成り立つ fact5: その横無振りは合わせ辛い fact6: 「あの聖典は合わせ辛いけど欲深くない」ということは嘘だ fact7: 仮にあの聖典は貧しいならば「その横無振りは確立・整備する」ということは事実である fact8: もし仮にあの聖典が確立・整備するならその横無振りは合わせ辛い fact9: 「あの聖典は確立・整備するがそれは合わせ辛くない」ということは偽である fact10: 「もしあの聖典は合わせ辛くないとすれば「その横無振りは文書群だがしかし発出しない」ということは間違っている」ということは本当だ fact11: 「あの聖典は合わせ辛いけれど確立・整備するということはない」ということは事実でない fact12: もしあの聖典は合わせ辛いならば「発出するが貧しくない」ということは事実でない ; $hypothesis$ = もしもあの聖典が合わせ辛いとすればあの横無振りは確立・整備する ; $proof$ = 
void -> assump1: 以下のように仮定する。あの聖典は合わせ辛い; fact12 & assump1 -> int1: 「あの聖典は発出する一方で貧しくない」ということは成り立たない; int1 & fact2 -> int2: その横無振りは確立・整備する; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もし仮にあの聖典は合わせ辛いとすれば「発出するしかつ貧しい」ということは間違っている
事実2: もしも「あの聖典は発出する一方で貧しくない」ということは成り立たないならその横無振りは確立・整備する
事実3: 「「あの聖典は発出するしまた貧しい」ということは成り立つ」ということは誤りだ
事実4: もし「あの聖典は確立・整備するけど合わせ辛くない」ということは本当でないとすれば「その横無振りは貧しい」ということは成り立つ
事実5: その横無振りは合わせ辛い
事実6: 「あの聖典は合わせ辛いけど欲深くない」ということは嘘だ
事実7: 仮にあの聖典は貧しいならば「その横無振りは確立・整備する」ということは事実である
事実8: もし仮にあの聖典が確立・整備するならその横無振りは合わせ辛い
事実9: 「あの聖典は確立・整備するがそれは合わせ辛くない」ということは偽である
事実10: 「もしあの聖典は合わせ辛くないとすれば「その横無振りは文書群だがしかし発出しない」ということは間違っている」ということは本当だ
事実11: 「あの聖典は合わせ辛いけれど確立・整備するということはない」ということは事実でない
事実12: もしあの聖典は合わせ辛いならば「発出するが貧しくない」ということは事実でない

仮説: もしもあの聖典が合わせ辛いとすればあの横無振りは確立・整備する
1. 仮定1: 以下のように仮定する。あの聖典は合わせ辛い
2. 事実12と仮定1から、推論1: "「あの聖典は発出する一方で貧しくない」ということは成り立たない"が導かれる
3. 推論1と事実2から、推論2: "その横無振りは確立・整備する"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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