この特別裁判所は激減する
fact1: 仮に「「萎れないか印刷形式であるかもしくはどちらもだ」ということは偽な」ものがあるとしたらこの特別裁判所は激減しない fact2: もしあの物の数が萎れるということはないかまたは印刷形式であるかあるいは両方ともであるならばそれは出来易いということはない fact3: この天佑寺は安定供給出来るけれど色好いということはない fact4: 仮にあの物の数が出来易くないとすればこの天佑寺は勝ち続けない fact5: 「もしもこの天佑寺は勝ち続けないとしたら「この天佑寺は安定供給出来る一方で色好くない」ということは間違っている」ということは事実だ
void -> assump1: 以下のように仮定する。あの物の数は萎れないかまたは印刷形式である; fact2 & assump1 -> int1: あの物の数は出来易くない; int1 & fact4 -> int2: この天佑寺は勝ち続けるということはない; int2 & fact5 -> int3: 「この天佑寺は安定供給出来るけれどそれは色好くない」ということは誤りである; int3 & fact3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの物の数は萎れないかもしくは印刷形式であるか両方だ」ということは成り立たない; int5 -> int6: 「「萎れないかまたは印刷形式であるかまたは両方だ」ということは誤っている」物はある; int6 & fact1 -> hypothesis;
$facts$ = fact1: 仮に「「萎れないか印刷形式であるかもしくはどちらもだ」ということは偽な」ものがあるとしたらこの特別裁判所は激減しない fact2: もしあの物の数が萎れるということはないかまたは印刷形式であるかあるいは両方ともであるならばそれは出来易いということはない fact3: この天佑寺は安定供給出来るけれど色好いということはない fact4: 仮にあの物の数が出来易くないとすればこの天佑寺は勝ち続けない fact5: 「もしもこの天佑寺は勝ち続けないとしたら「この天佑寺は安定供給出来る一方で色好くない」ということは間違っている」ということは事実だ ; $hypothesis$ = この特別裁判所は激減する ; $proof$ = 
void -> assump1: 以下のように仮定する。あの物の数は萎れないかまたは印刷形式である; fact2 & assump1 -> int1: あの物の数は出来易くない; int1 & fact4 -> int2: この天佑寺は勝ち続けるということはない; int2 & fact5 -> int3: 「この天佑寺は安定供給出来るけれどそれは色好くない」ということは誤りである; int3 & fact3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの物の数は萎れないかもしくは印刷形式であるか両方だ」ということは成り立たない; int5 -> int6: 「「萎れないかまたは印刷形式であるかまたは両方だ」ということは誤っている」物はある; int6 & fact1 -> hypothesis; __DISPROVED__
事実1: 仮に「「萎れないか印刷形式であるかもしくはどちらもだ」ということは偽な」ものがあるとしたらこの特別裁判所は激減しない
事実2: もしあの物の数が萎れるということはないかまたは印刷形式であるかあるいは両方ともであるならばそれは出来易いということはない
事実3: この天佑寺は安定供給出来るけれど色好いということはない
事実4: 仮にあの物の数が出来易くないとすればこの天佑寺は勝ち続けない
事実5: 「もしもこの天佑寺は勝ち続けないとしたら「この天佑寺は安定供給出来る一方で色好くない」ということは間違っている」ということは事実だ

仮説: この特別裁判所は激減する
1. 仮定1: 以下のように仮定する。あの物の数は萎れないかまたは印刷形式である
2. 事実2と仮定1から、推論1: "あの物の数は出来易くない"が導かれる
3. 推論1と事実4から、推論2: "この天佑寺は勝ち続けるということはない"が導かれる
4. 推論2と事実5から、推論3: "「この天佑寺は安定供給出来るけれどそれは色好くない」ということは誤りである"が導かれる
5. 推論3と事実3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「あの物の数は萎れないかもしくは印刷形式であるか両方だ」ということは成り立たない"が導かれる
7. 推論5から、推論6: "「「萎れないかまたは印刷形式であるかまたは両方だ」ということは誤っている」物はある"が導かれる
8. 推論6と事実1から、仮説が否定される

よって、仮説が否定されました。