あの護送船団方式は掃く
fact1: 「その千九百七十七年生まれは倹しいけど御若くない」ということは偽だ fact2: もし「あの護送船団方式は掃かなくておまけに弓使いだということはない」ということは成り立たないならばその千九百七十七年生まれは御若い fact3: 「この教科間は掃く」ということは成り立つ fact4: 「「その千九百七十七年生まれは倹しかない一方で御若い」ということは確かだ」ということは間違っている fact5: 「あの自己免疫は弓使いだがしかしそれは同宿でない」ということは成り立たない fact6: その千九百七十七年生まれは倹しい fact7: あの自己免疫は遊べない fact8: その千九百七十七年生まれは取水しない fact9: あの護送船団方式は相談し易い fact10: 「その千九百七十七年生まれは倹しかないし更にそれは弓使いでない」ということは成り立たない fact11: その射覆は掃く fact12: この暗号モジュールは御若い fact13: もし仮にあの自己免疫が弓使いだとするとあの護送船団方式は掃く fact14: この分立は掃くということはない fact15: もしも「「あの自己免疫は弓使いでないしその上御若くない」ということは誤りだ」ということは正しいとしたらその千九百七十七年生まれは掃く fact16: もしその千九百七十七年生まれは掃くということはないとすれば「それは御若いしおまけにそれは弓使いだということはない」ということは成り立たない fact17: その千九百七十七年生まれは弓使いである fact18: 「その千九百七十七年生まれは掃く一方で御若くない」ということは嘘だ fact19: その千九百七十七年生まれは垢抜けなくてそれに嗾けるない fact20: 仮に「その千九百七十七年生まれは掃かなくて加えて倹しかない」ということは成り立たないならば「あの護送船団方式は御若い」ということは事実である fact21: 「あの護送船団方式は掃かなくてしかもそれは御若くない」ということは真実でないとするとその千九百七十七年生まれは倹しい fact22: あの護送船団方式は倹しかない fact23: もしも「その千九百七十七年生まれは倹しかないし加えて御若くない」ということは偽であるとしたらあの自己免疫は弓使いだ
void -> assump1: 以下のように仮定する。その千九百七十七年生まれは倹しかないしそれは御若くない; assump1 -> int1: その千九百七十七年生まれは倹しかない; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その千九百七十七年生まれは倹しかないしそれに御若くない」ということは成り立つということはない; int3 & fact23 -> int4: あの自己免疫は弓使いである; int4 & fact13 -> hypothesis;
あの護送船団方式は倹しかないし更にシャントでない
$facts$ = fact1: 「その千九百七十七年生まれは倹しいけど御若くない」ということは偽だ fact2: もし「あの護送船団方式は掃かなくておまけに弓使いだということはない」ということは成り立たないならばその千九百七十七年生まれは御若い fact3: 「この教科間は掃く」ということは成り立つ fact4: 「「その千九百七十七年生まれは倹しかない一方で御若い」ということは確かだ」ということは間違っている fact5: 「あの自己免疫は弓使いだがしかしそれは同宿でない」ということは成り立たない fact6: その千九百七十七年生まれは倹しい fact7: あの自己免疫は遊べない fact8: その千九百七十七年生まれは取水しない fact9: あの護送船団方式は相談し易い fact10: 「その千九百七十七年生まれは倹しかないし更にそれは弓使いでない」ということは成り立たない fact11: その射覆は掃く fact12: この暗号モジュールは御若い fact13: もし仮にあの自己免疫が弓使いだとするとあの護送船団方式は掃く fact14: この分立は掃くということはない fact15: もしも「「あの自己免疫は弓使いでないしその上御若くない」ということは誤りだ」ということは正しいとしたらその千九百七十七年生まれは掃く fact16: もしその千九百七十七年生まれは掃くということはないとすれば「それは御若いしおまけにそれは弓使いだということはない」ということは成り立たない fact17: その千九百七十七年生まれは弓使いである fact18: 「その千九百七十七年生まれは掃く一方で御若くない」ということは嘘だ fact19: その千九百七十七年生まれは垢抜けなくてそれに嗾けるない fact20: 仮に「その千九百七十七年生まれは掃かなくて加えて倹しかない」ということは成り立たないならば「あの護送船団方式は御若い」ということは事実である fact21: 「あの護送船団方式は掃かなくてしかもそれは御若くない」ということは真実でないとするとその千九百七十七年生まれは倹しい fact22: あの護送船団方式は倹しかない fact23: もしも「その千九百七十七年生まれは倹しかないし加えて御若くない」ということは偽であるとしたらあの自己免疫は弓使いだ ; $hypothesis$ = あの護送船団方式は掃く ; $proof$ = 
void -> assump1: 以下のように仮定する。その千九百七十七年生まれは倹しかないしそれは御若くない; assump1 -> int1: その千九百七十七年生まれは倹しかない; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その千九百七十七年生まれは倹しかないしそれに御若くない」ということは成り立つということはない; int3 & fact23 -> int4: あの自己免疫は弓使いである; int4 & fact13 -> 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: もしも「その千九百七十七年生まれは倹しかないし加えて御若くない」ということは偽であるとしたらあの自己免疫は弓使いだ

仮説: あの護送船団方式は掃く
1. 仮定1: 以下のように仮定する。その千九百七十七年生まれは倹しかないしそれは御若くない
2. 仮定1から、推論1: "その千九百七十七年生まれは倹しかない"が導かれる
3. 推論1と事実6から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「その千九百七十七年生まれは倹しかないしそれに御若くない」ということは成り立つということはない"が導かれる
5. 推論3と事実23から、推論4: "あの自己免疫は弓使いである"が導かれる
6. 推論4と事実13から、仮説が導かれる

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