とある物は遅しし更に確認申請だ
fact1: あの二十年返済は遅し fact2: あの符号化は航行出来るし更に網状組織だ fact3: もしも何かは僻みっぽくないなら「遅し」ということは真実だ fact4: このＥＣ裁判所は如何わしくない fact5: 何かは遅し fact6: 仮にこのＥＣ裁判所が網状組織だとしたらそれは久し fact7: もしこのＥＣ裁判所が久しとすればあの符号化は航行出来るけど如何わしくない fact8: 「あの符号化は航行出来る」ということは真実だ fact9: もし仮にあの符号化が航行出来るがしかしそれが如何わしくないとすればあの二十年返済は僻みっぽくない fact10: あの二十年返済は忘れっぽい一方で慎ましくない fact11: もしあの二十年返済が僻みっぽくないとすれば遅し fact12: 僻みっぽいということはないものは遅ししかつ確認申請である fact13: もしあの二十年返済は網状組織でないなら僻みっぽくてかつ確認申請だ fact14: あの符号化は久し fact15: 仮にこのＥＣ裁判所が久しとするとあの符号化は航行出来る fact16: このＥＣ裁判所は網状組織である fact17: もし仮にとあるものは確認申請でないとしたら航行出来るしそれに久し fact18: 「久し」物はある fact19: 仮に「このＥＣ裁判所は如何わしい」ということは本当ならあの符号化は久しが遅しない fact20: 確認申請はある
fact6 & fact16 -> int1: このＥＣ裁判所は久し; int1 & fact7 -> int2: あの符号化は航行出来るけれど如何わしくない; int2 & fact9 -> int3: あの二十年返済は僻みっぽいということはない; fact12 -> int4: 仮にあの二十年返済が僻みっぽいということはないなら遅しし更に確認申請である; int3 & int4 -> int5: あの二十年返済は遅ししまた確認申請だ; int5 -> hypothesis;
$facts$ = fact1: あの二十年返済は遅し fact2: あの符号化は航行出来るし更に網状組織だ fact3: もしも何かは僻みっぽくないなら「遅し」ということは真実だ fact4: このＥＣ裁判所は如何わしくない fact5: 何かは遅し fact6: 仮にこのＥＣ裁判所が網状組織だとしたらそれは久し fact7: もしこのＥＣ裁判所が久しとすればあの符号化は航行出来るけど如何わしくない fact8: 「あの符号化は航行出来る」ということは真実だ fact9: もし仮にあの符号化が航行出来るがしかしそれが如何わしくないとすればあの二十年返済は僻みっぽくない fact10: あの二十年返済は忘れっぽい一方で慎ましくない fact11: もしあの二十年返済が僻みっぽくないとすれば遅し fact12: 僻みっぽいということはないものは遅ししかつ確認申請である fact13: もしあの二十年返済は網状組織でないなら僻みっぽくてかつ確認申請だ fact14: あの符号化は久し fact15: 仮にこのＥＣ裁判所が久しとするとあの符号化は航行出来る fact16: このＥＣ裁判所は網状組織である fact17: もし仮にとあるものは確認申請でないとしたら航行出来るしそれに久し fact18: 「久し」物はある fact19: 仮に「このＥＣ裁判所は如何わしい」ということは本当ならあの符号化は久しが遅しない fact20: 確認申請はある ; $hypothesis$ = とある物は遅しし更に確認申請だ ; $proof$ = 
fact6 & fact16 -> int1: このＥＣ裁判所は久し; int1 & fact7 -> int2: あの符号化は航行出来るけれど如何わしくない; int2 & fact9 -> int3: あの二十年返済は僻みっぽいということはない; fact12 -> int4: 仮にあの二十年返済が僻みっぽいということはないなら遅しし更に確認申請である; int3 & int4 -> int5: あの二十年返済は遅ししまた確認申請だ; int5 -> hypothesis; __PROVED__
事実1: あの二十年返済は遅し
事実2: あの符号化は航行出来るし更に網状組織だ
事実3: もしも何かは僻みっぽくないなら「遅し」ということは真実だ
事実4: このＥＣ裁判所は如何わしくない
事実5: 何かは遅し
事実6: 仮にこのＥＣ裁判所が網状組織だとしたらそれは久し
事実7: もしこのＥＣ裁判所が久しとすればあの符号化は航行出来るけど如何わしくない
事実8: 「あの符号化は航行出来る」ということは真実だ
事実9: もし仮にあの符号化が航行出来るがしかしそれが如何わしくないとすればあの二十年返済は僻みっぽくない
事実10: あの二十年返済は忘れっぽい一方で慎ましくない
事実11: もしあの二十年返済が僻みっぽくないとすれば遅し
事実12: 僻みっぽいということはないものは遅ししかつ確認申請である
事実13: もしあの二十年返済は網状組織でないなら僻みっぽくてかつ確認申請だ
事実14: あの符号化は久し
事実15: 仮にこのＥＣ裁判所が久しとするとあの符号化は航行出来る
事実16: このＥＣ裁判所は網状組織である
事実17: もし仮にとあるものは確認申請でないとしたら航行出来るしそれに久し
事実18: 「久し」物はある
事実19: 仮に「このＥＣ裁判所は如何わしい」ということは本当ならあの符号化は久しが遅しない
事実20: 確認申請はある

仮説: とある物は遅しし更に確認申請だ
1. 事実6と事実16から、推論1: "このＥＣ裁判所は久し"が導かれる
2. 推論1と事実7から、推論2: "あの符号化は航行出来るけれど如何わしくない"が導かれる
3. 推論2と事実9から、推論3: "あの二十年返済は僻みっぽいということはない"が導かれる
4. 事実12から、推論4: "仮にあの二十年返済が僻みっぽいということはないなら遅しし更に確認申請である"が導かれる
5. 推論3と推論4から、推論5: "あの二十年返済は遅ししまた確認申請だ"が導かれる
6. 推論5から、仮説が導かれる

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