この旧来は物凄まじくない一方でスケジュール表だ
fact1: もしも「そのズームはスケジュール表である一方で届き難くない」ということは事実でないならばこの旧来は届き難い fact2: もし仮に「女っぽい」ものがあるならばあの開発力はスケジュール表でない fact3: 「その開発力は物凄まじい一方で入り難くない」ということは誤っている fact4: この旧来は届き難くないならば「あの肋はドイツ領であるかあるいは経口摂取量でないか両方である」ということは成り立つということはない fact5: 届き難いものは厚いが描かない fact6: 「ＴＧである」物があるとしたらその開発力は空々しかない fact7: なんらかのものは届き難くないなら「それが物凄まじくないしさらにそれはスケジュール表だ」ということは成り立つということはない fact8: 仮に「その開発力は入り難いが物凄まじくない」ということは成り立たないとしたらこの旧来は物凄まじい fact9: もし仮にこの旧来は厚くないとすると「「そのズームは眠いかもしくはそれは描かないかもしくはどちらもだ」ということは誤っている」ということは偽だということはない fact10: 「そのズームは眠いがしかしスケジュール表でない」ということは誤りだ fact11: もし仮にこの旧来は描くということはないならば「その開発力は物凄まじいかあるいは入り難くないかあるいは両方ともだ」ということは成り立たない fact12: この旧来が入り難くないなら厚い fact13: その開発力は経口摂取量でない fact14: 仮にその放下僧が入り難いとするとその開発力は女っぽいかまたはそれは入り難くないか両方ともだ fact15: その開発力がドイツ領でないとするとあの肋は女っぽい fact16: もしも「この旧来はスケジュール表であるかもしくは厚い」ということは成り立つということはないならばあのズームは経口摂取量だ fact17: 眠くておまけに入り難くないものは届き難くない fact18: 「そのズームは眠い一方でスケジュール表でない」ということは誤っているならばあの旧来はスケジュール表だ fact19: もし仮に「あの肋はドイツ領であるかまたはそれは経口摂取量でない」ということは成り立たないとするとその放下僧は入り難い fact20: 「ＴＧである」物はある fact21: もしその開発力がスケジュール表でないならばあの旧来は空々しい fact22: もし仮にあの肋が経口摂取量なら描くけれど届き難くない fact23: もし厚いものは描かないとすれば「物凄まじくない」ということは成り立つ fact24: 届き難いし更に入り難くない物は空々しかない fact25: もし仮にその開発力は空々しいということはないとしたら「女っぽいかそれは入り難いということはない」ということは間違いである
void -> assump1: 以下のように仮定する。この旧来は届き難くない; fact4 & assump1 -> int1: 「あの肋はドイツ領であるか経口摂取量でないかあるいは両方だ」ということは偽だ; int1 & fact19 -> int2: その放下僧は入り難い; int2 & fact14 -> int3: その開発力は女っぽいかもしくは入り難くないかどちらもだ; fact6 & fact20 -> int4: その開発力は空々しいということはない; fact25 & int4 -> int5: 「その開発力は女っぽいか入り難くない」ということは誤りである; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この旧来は届き難い; fact5 -> int8: もしも「この旧来は届き難い」ということは真実であるならそれは厚いが描かない; int7 & int8 -> int9: この旧来は厚いがしかし描かない; fact23 -> int10: もしもこの旧来が厚いが描かないなら物凄まじくない; int9 & int10 -> int11: この旧来は物凄まじくない; fact18 & fact10 -> int12: この旧来はスケジュール表である; int11 & int12 -> hypothesis;
「「この旧来は物凄まじくないけれどスケジュール表である」ということは間違っている」ということは真実である
fact26 -> 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: 届き難いし更に入り難くない物は空々しかない fact25: もし仮にその開発力は空々しいということはないとしたら「女っぽいかそれは入り難いということはない」ということは間違いである ; $hypothesis$ = この旧来は物凄まじくない一方でスケジュール表だ ; $proof$ = 
void -> assump1: 以下のように仮定する。この旧来は届き難くない; fact4 & assump1 -> int1: 「あの肋はドイツ領であるか経口摂取量でないかあるいは両方だ」ということは偽だ; int1 & fact19 -> int2: その放下僧は入り難い; int2 & fact14 -> int3: その開発力は女っぽいかもしくは入り難くないかどちらもだ; fact6 & fact20 -> int4: その開発力は空々しいということはない; fact25 & int4 -> int5: 「その開発力は女っぽいか入り難くない」ということは誤りである; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この旧来は届き難い; fact5 -> int8: もしも「この旧来は届き難い」ということは真実であるならそれは厚いが描かない; int7 & int8 -> int9: この旧来は厚いがしかし描かない; fact23 -> int10: もしもこの旧来が厚いが描かないなら物凄まじくない; int9 & int10 -> int11: この旧来は物凄まじくない; fact18 & fact10 -> int12: この旧来はスケジュール表である; int11 & int12 -> 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: 届き難いし更に入り難くない物は空々しかない
事実25: もし仮にその開発力は空々しいということはないとしたら「女っぽいかそれは入り難いということはない」ということは間違いである

仮説: この旧来は物凄まじくない一方でスケジュール表だ
1. 仮定1: 以下のように仮定する。この旧来は届き難くない
2. 事実4と仮定1から、推論1: "「あの肋はドイツ領であるか経口摂取量でないかあるいは両方だ」ということは偽だ"が導かれる
3. 推論1と事実19から、推論2: "その放下僧は入り難い"が導かれる
4. 推論2と事実14から、推論3: "その開発力は女っぽいかもしくは入り難くないかどちらもだ"が導かれる
5. 事実6と事実20から、推論4: "その開発力は空々しいということはない"が導かれる
6. 事実25と推論4から、推論5: "「その開発力は女っぽいか入り難くない」ということは誤りである"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この旧来は届き難い"が導かれる
9. 事実5から、推論8: "もしも「この旧来は届き難い」ということは真実であるならそれは厚いが描かない"が導かれる
10. 推論7と推論8から、推論9: "この旧来は厚いがしかし描かない"が導かれる
11. 事実23から、推論10: "もしもこの旧来が厚いが描かないなら物凄まじくない"が導かれる
12. 推論9と推論10から、推論11: "この旧来は物凄まじくない"が導かれる
13. 事実18と事実10から、推論12: "この旧来はスケジュール表である"が導かれる
14. 推論11と推論12から、仮説が導かれる

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