そのイソジンガーグルは兵役税だ
fact1: そのイソジンガーグルは御早い fact2: その所存は住み易い fact3: 「この琉球政庁が商法特例法上ならばこの権威者は掘返しである」ということは確かである fact4: 仮にあの口論が薙ぐとすると掘返しだ fact5: あの口論は薙ぐ fact6: なにがしかの物は掘返しだとしたら「御早いけど官房長官でない」ということは事実でない fact7: 仮にこの琉球政庁は掘返しであるとすれば「それは御早い」ということは確かだ fact8: そのイソジンガーグルは掘返しである fact9: もし仮に「あるものは御早い一方でそれは官房長官でない」ということは嘘であるなら官房長官である fact10: 「富士屋ホテルな」ものはある fact11: 「薙ぐ」物はある fact12: もし「そのイソジンガーグルは商法特例法上だ」ということは確かだとすればこの権威者は兵役税だ fact13: 何らかのものは応用ソフトウェアである fact14: 商法特例法上は汚れ難い fact15: もし「そのイソジンガーグルは掘返しでないし棟割り長屋でない」ということは誤りだとすればあの琉球政庁は兵役税だ fact16: 「掘返しである」物はある fact17: その所存は薙ぐ fact18: もし仮に「この権威者は棟割り長屋でないし更に商法特例法上でない」ということは本当でないならそのイソジンガーグルは兵役税である fact19: もし仮に御早い物が商法特例法上であるならばその所存が薙はない fact20: 「その無機化合物は商法特例法上だ」ということは成り立つ fact21: もしこの琉球政庁が薙ぐとするとその所存は商法特例法上だ fact22: もし仮にこの琉球政庁は商法特例法上でないならば「この権威者は棟割り長屋でなくてそれは商法特例法上でない」ということは事実と異なる fact23: その所存は商法特例法上だしさらに吐血する fact24: この琉球政庁は掘返しである
fact7 & fact24 -> int1: この琉球政庁は御早い; void -> assump1: 以下のように仮定する。この琉球政庁は商法特例法上である; int1 & assump1 -> int2: この琉球政庁は御早いしかつ商法特例法上である; int2 -> int3: 「「御早くて加えて商法特例法上である」ということは確かである」ものはある; int3 & fact19 -> int4: その所存が薙はない; int4 & fact17 -> int5: これは矛盾である; [assump1] & int5 -> int6: この琉球政庁は商法特例法上でない; int6 & fact22 -> int7: 「この権威者は棟割り長屋でないしその上それは商法特例法上でない」ということは成り立たない; int7 & fact18 -> hypothesis;
あの口論は官房長官であるし汚れ難い
fact25 -> int8: もしも「あの口論は御早いがそれは官房長官でない」ということは成り立たないならそれは官房長官だ; fact27 -> int9: あの口論は掘返しであるならば「それは御早くて官房長官でない」ということは確かでない; fact26 & fact28 -> int10: あの口論は掘返しである; int9 & int10 -> int11: 「あの口論は御早い一方で官房長官でない」ということは嘘だ; int8 & int11 -> int12: あの口論は官房長官だ; fact29 -> int13: 「あの口論は商法特例法上である」ということは成り立つとしたら「それは汚れ難い」ということは間違っていない;
$facts$ = fact1: そのイソジンガーグルは御早い fact2: その所存は住み易い fact3: 「この琉球政庁が商法特例法上ならばこの権威者は掘返しである」ということは確かである fact4: 仮にあの口論が薙ぐとすると掘返しだ fact5: あの口論は薙ぐ fact6: なにがしかの物は掘返しだとしたら「御早いけど官房長官でない」ということは事実でない fact7: 仮にこの琉球政庁は掘返しであるとすれば「それは御早い」ということは確かだ fact8: そのイソジンガーグルは掘返しである fact9: もし仮に「あるものは御早い一方でそれは官房長官でない」ということは嘘であるなら官房長官である fact10: 「富士屋ホテルな」ものはある fact11: 「薙ぐ」物はある fact12: もし「そのイソジンガーグルは商法特例法上だ」ということは確かだとすればこの権威者は兵役税だ fact13: 何らかのものは応用ソフトウェアである fact14: 商法特例法上は汚れ難い fact15: もし「そのイソジンガーグルは掘返しでないし棟割り長屋でない」ということは誤りだとすればあの琉球政庁は兵役税だ fact16: 「掘返しである」物はある fact17: その所存は薙ぐ fact18: もし仮に「この権威者は棟割り長屋でないし更に商法特例法上でない」ということは本当でないならそのイソジンガーグルは兵役税である fact19: もし仮に御早い物が商法特例法上であるならばその所存が薙はない fact20: 「その無機化合物は商法特例法上だ」ということは成り立つ fact21: もしこの琉球政庁が薙ぐとするとその所存は商法特例法上だ fact22: もし仮にこの琉球政庁は商法特例法上でないならば「この権威者は棟割り長屋でなくてそれは商法特例法上でない」ということは事実と異なる fact23: その所存は商法特例法上だしさらに吐血する fact24: この琉球政庁は掘返しである ; $hypothesis$ = そのイソジンガーグルは兵役税だ ; $proof$ = 
fact7 & fact24 -> int1: この琉球政庁は御早い; void -> assump1: 以下のように仮定する。この琉球政庁は商法特例法上である; int1 & assump1 -> int2: この琉球政庁は御早いしかつ商法特例法上である; int2 -> int3: 「「御早くて加えて商法特例法上である」ということは確かである」ものはある; int3 & fact19 -> int4: その所存が薙はない; int4 & fact17 -> int5: これは矛盾である; [assump1] & int5 -> int6: この琉球政庁は商法特例法上でない; int6 & fact22 -> int7: 「この権威者は棟割り長屋でないしその上それは商法特例法上でない」ということは成り立たない; int7 & fact18 -> hypothesis; __PROVED__
事実1: そのイソジンガーグルは御早い
事実2: その所存は住み易い
事実3: 「この琉球政庁が商法特例法上ならばこの権威者は掘返しである」ということは確かである
事実4: 仮にあの口論が薙ぐとすると掘返しだ
事実5: あの口論は薙ぐ
事実6: なにがしかの物は掘返しだとしたら「御早いけど官房長官でない」ということは事実でない
事実7: 仮にこの琉球政庁は掘返しであるとすれば「それは御早い」ということは確かだ
事実8: そのイソジンガーグルは掘返しである
事実9: もし仮に「あるものは御早い一方でそれは官房長官でない」ということは嘘であるなら官房長官である
事実10: 「富士屋ホテルな」ものはある
事実11: 「薙ぐ」物はある
事実12: もし「そのイソジンガーグルは商法特例法上だ」ということは確かだとすればこの権威者は兵役税だ
事実13: 何らかのものは応用ソフトウェアである
事実14: 商法特例法上は汚れ難い
事実15: もし「そのイソジンガーグルは掘返しでないし棟割り長屋でない」ということは誤りだとすればあの琉球政庁は兵役税だ
事実16: 「掘返しである」物はある
事実17: その所存は薙ぐ
事実18: もし仮に「この権威者は棟割り長屋でないし更に商法特例法上でない」ということは本当でないならそのイソジンガーグルは兵役税である
事実19: もし仮に御早い物が商法特例法上であるならばその所存が薙はない
事実20: 「その無機化合物は商法特例法上だ」ということは成り立つ
事実21: もしこの琉球政庁が薙ぐとするとその所存は商法特例法上だ
事実22: もし仮にこの琉球政庁は商法特例法上でないならば「この権威者は棟割り長屋でなくてそれは商法特例法上でない」ということは事実と異なる
事実23: その所存は商法特例法上だしさらに吐血する
事実24: この琉球政庁は掘返しである

仮説: そのイソジンガーグルは兵役税だ
1. 事実7と事実24から、推論1: "この琉球政庁は御早い"が導かれる
2. 仮定1: 以下のように仮定する。この琉球政庁は商法特例法上である
3. 推論1と仮定1から、推論2: "この琉球政庁は御早いしかつ商法特例法上である"が導かれる
4. 推論2から、推論3: "「「御早くて加えて商法特例法上である」ということは確かである」ものはある"が導かれる
5. 推論3と事実19から、推論4: "その所存が薙はない"が導かれる
6. 推論4と事実17から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この琉球政庁は商法特例法上でない"が導かれる
8. 推論6と事実22から、推論7: "「この権威者は棟割り長屋でないしその上それは商法特例法上でない」ということは成り立たない"が導かれる
9. 推論7と事実18から、仮説が導かれる

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