その貯金通帳は輝かしいということはない
fact1: その種田ワールドは出し忘れない fact2: 「あのミクソロジストは輝かしくない」ということは確かであるならその貯金通帳は睦まじい fact3: 仮になんらかの物が出し忘れれば複層林施業だしそれにそれは受け入れ難くない fact4: もしもなんらかのものが進み掛けるとすればそれは出し忘れる fact5: もしあのミクソロジストが複層林施業だけど受け入れ難くないならば「その種田ワールドは受け入れ難くない」ということは成り立つ fact6: このカールは出し忘れない fact7: もしこの菩薩大士が受け入れ難いということはないとするとその種田ワールドは出し忘れる fact8: あの兵庫県立工業技術センターは輝かしくない fact9: もし仮に「あのミクソロジストは睦まじいしまた遅し」ということは誤っているならこの菩薩大士は受け入れ難くない fact10: 仮に「あのミクソロジストは複層林施業でない」ということは真実だとすると「睦まじいしかつ遅し」ということは嘘である fact11: 「あのミクソロジストはど偉くない一方で取り回し性だ」ということは間違っているとしたらそれは取り回し性であるということはない fact12: もしもなにがしかの物が取り回し性でないなら進み掛けるしおまけにそれは輝かしい fact13: もし仮にあのミクソロジストが複層林施業であるかもしくはそれが進み掛けるかもしくは両方だとすればその貯金通帳は輝かしいということはない fact14: もしその貯金通帳が遅しとするとあのミクソロジストは輝かしくない fact15: あのミクソロジストは受け入れ難くないなら「遅しし出し忘れる」ということは間違っている
void -> assump1: 以下のように仮定する。あのミクソロジストは複層林施業でない; fact10 & assump1 -> int1: 「あのミクソロジストは睦まじくてさらに遅し」ということは間違いだ; int1 & fact9 -> int2: この菩薩大士は受け入れ難くない; int2 & fact7 -> int3: その種田ワールドは出し忘れる; int3 & fact1 -> int4: これは矛盾である; [assump1] & int4 -> int5: あのミクソロジストは複層林施業だ; int5 -> int6: あのミクソロジストは複層林施業であるかあるいは進み掛ける; int6 & fact13 -> hypothesis;
その種田ワールドは受け入れ難くない
fact16 -> int7: 仮にあのミクソロジストが出し忘れるならそれは複層林施業だし加えて受け入れ難くない; fact20 -> int8: 仮に「あのミクソロジストは進み掛ける」ということは正しいならば出し忘れる; fact18 -> int9: 仮にあのミクソロジストが取り回し性でないとしたら進み掛けるししかも輝かしい;
$facts$ = fact1: その種田ワールドは出し忘れない fact2: 「あのミクソロジストは輝かしくない」ということは確かであるならその貯金通帳は睦まじい fact3: 仮になんらかの物が出し忘れれば複層林施業だしそれにそれは受け入れ難くない fact4: もしもなんらかのものが進み掛けるとすればそれは出し忘れる fact5: もしあのミクソロジストが複層林施業だけど受け入れ難くないならば「その種田ワールドは受け入れ難くない」ということは成り立つ fact6: このカールは出し忘れない fact7: もしこの菩薩大士が受け入れ難いということはないとするとその種田ワールドは出し忘れる fact8: あの兵庫県立工業技術センターは輝かしくない fact9: もし仮に「あのミクソロジストは睦まじいしまた遅し」ということは誤っているならこの菩薩大士は受け入れ難くない fact10: 仮に「あのミクソロジストは複層林施業でない」ということは真実だとすると「睦まじいしかつ遅し」ということは嘘である fact11: 「あのミクソロジストはど偉くない一方で取り回し性だ」ということは間違っているとしたらそれは取り回し性であるということはない fact12: もしもなにがしかの物が取り回し性でないなら進み掛けるしおまけにそれは輝かしい fact13: もし仮にあのミクソロジストが複層林施業であるかもしくはそれが進み掛けるかもしくは両方だとすればその貯金通帳は輝かしいということはない fact14: もしその貯金通帳が遅しとするとあのミクソロジストは輝かしくない fact15: あのミクソロジストは受け入れ難くないなら「遅しし出し忘れる」ということは間違っている ; $hypothesis$ = その貯金通帳は輝かしいということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのミクソロジストは複層林施業でない; fact10 & assump1 -> int1: 「あのミクソロジストは睦まじくてさらに遅し」ということは間違いだ; int1 & fact9 -> int2: この菩薩大士は受け入れ難くない; int2 & fact7 -> int3: その種田ワールドは出し忘れる; int3 & fact1 -> int4: これは矛盾である; [assump1] & int4 -> int5: あのミクソロジストは複層林施業だ; int5 -> int6: あのミクソロジストは複層林施業であるかあるいは進み掛ける; int6 & fact13 -> hypothesis; __PROVED__
事実1: その種田ワールドは出し忘れない
事実2: 「あのミクソロジストは輝かしくない」ということは確かであるならその貯金通帳は睦まじい
事実3: 仮になんらかの物が出し忘れれば複層林施業だしそれにそれは受け入れ難くない
事実4: もしもなんらかのものが進み掛けるとすればそれは出し忘れる
事実5: もしあのミクソロジストが複層林施業だけど受け入れ難くないならば「その種田ワールドは受け入れ難くない」ということは成り立つ
事実6: このカールは出し忘れない
事実7: もしこの菩薩大士が受け入れ難いということはないとするとその種田ワールドは出し忘れる
事実8: あの兵庫県立工業技術センターは輝かしくない
事実9: もし仮に「あのミクソロジストは睦まじいしまた遅し」ということは誤っているならこの菩薩大士は受け入れ難くない
事実10: 仮に「あのミクソロジストは複層林施業でない」ということは真実だとすると「睦まじいしかつ遅し」ということは嘘である
事実11: 「あのミクソロジストはど偉くない一方で取り回し性だ」ということは間違っているとしたらそれは取り回し性であるということはない
事実12: もしもなにがしかの物が取り回し性でないなら進み掛けるしおまけにそれは輝かしい
事実13: もし仮にあのミクソロジストが複層林施業であるかもしくはそれが進み掛けるかもしくは両方だとすればその貯金通帳は輝かしいということはない
事実14: もしその貯金通帳が遅しとするとあのミクソロジストは輝かしくない
事実15: あのミクソロジストは受け入れ難くないなら「遅しし出し忘れる」ということは間違っている

仮説: その貯金通帳は輝かしいということはない
1. 仮定1: 以下のように仮定する。あのミクソロジストは複層林施業でない
2. 事実10と仮定1から、推論1: "「あのミクソロジストは睦まじくてさらに遅し」ということは間違いだ"が導かれる
3. 推論1と事実9から、推論2: "この菩薩大士は受け入れ難くない"が導かれる
4. 推論2と事実7から、推論3: "その種田ワールドは出し忘れる"が導かれる
5. 推論3と事実1から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あのミクソロジストは複層林施業だ"が導かれる
7. 推論5から、推論6: "あのミクソロジストは複層林施業であるかあるいは進み掛ける"が導かれる
8. 推論6と事実13から、仮説が導かれる

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