あのＶＬＡは上坂しなくておまけにそれは運悪くない
fact1: 仮に「こよなくない」物があるとすればあの三差路は図太さである fact2: もし「こよなくない」ものはあれば「あの三差路は苦しということはないかまたはそれは図太さでない」ということは嘘である fact3: この被保険船舶が運悪いならあのＶＬＡは上坂するということはなくて運悪くない fact4: なんらかのものが元来たるならそれはカールしないか多細胞性でない fact5: 何かは元来たるならそれはカールするかまたは多細胞性でない fact6: もしもなにかはこよないならば「図太さでないかまたは苦し」ということは成り立たない fact7: もしもあの合衆国海軍が元来たるないならばこの被保険船舶は運悪い fact8: あの三差路は苦しないかあるいは図太さであるかあるいは両方だ fact9: あの合衆国海軍は会話らしいということはないかまたは多細胞性でないかもしくは両方である fact10: もしこの被保険船舶が運悪いならあのＶＬＡは運悪くない fact11: 「あの日向屋は図太さでない」ということは間違っているとしたらあの三差路は苦しということはないかまたは図太さでないか両方である fact12: もし「あの合衆国海軍はカールしない」ということは成り立つとするとあの日向屋は図太さだ fact13: 「もしもあの日向屋が図太さであるならばあの三差路は苦しないかあるいは図太さである」ということは成り立つ fact14: あの合衆国海軍がカールしないかまたは多細胞性でないとしたらあの日向屋は図太さだ fact15: 「こよない」物はある fact16: あのバーゲン会場はこよなくないけど会話らしい fact17: もしも苦しないものはあるとすれば「あの三差路はカールするということはないかあるいは多細胞性でないかまたは両方ともである」ということは成り立たない fact18: あの三差路は図太さだ fact19: あの合衆国海軍はカールするかもしくは多細胞性でない fact20: あのＶＬＡは運悪くない fact21: あの合衆国海軍が元来たるならそれはカールするか多細胞性だということはないかまたはどちらもである fact22: 「もし仮にあの日向屋が元来たるとすればこの寄生は運悪い」ということは成り立つ fact23: 「苦しということはない」ものはある fact24: あのバーゲン会場は会話らしい
fact4 -> int1: もしあの合衆国海軍が元来たるならそれはカールしないかそれは多細胞性であるということはない; void -> assump1: 以下のように仮定する。あの合衆国海軍は元来たる; int1 & assump1 -> int2: あの合衆国海軍はカールしないかそれは多細胞性でないかもしくは両方ともだ; int2 & fact14 -> int3: あの日向屋は図太さである; int3 & fact11 -> int4: あの三差路は苦しないかまたは図太さだということはないかあるいは両方ともである; fact16 -> int5: あのバーゲン会場はこよなくない; int5 -> int6: 何らかの物はこよなくない; int6 & fact2 -> int7: 「「あの三差路は苦しないか図太さでないか両方である」ということは誤りだ」ということは成り立つ; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: 「あの合衆国海軍は元来たるということはない」ということは真実である; int9 & fact7 -> int10: 「この被保険船舶は運悪い」ということは成り立つ; int10 & fact3 -> hypothesis;
この寄生は運悪い
fact25 -> int11: 仮にあの三差路はこよないならば「それは図太さでないかまたはそれは苦しかどちらもである」ということは本当でない;
$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$ = 
fact4 -> int1: もしあの合衆国海軍が元来たるならそれはカールしないかそれは多細胞性であるということはない; void -> assump1: 以下のように仮定する。あの合衆国海軍は元来たる; int1 & assump1 -> int2: あの合衆国海軍はカールしないかそれは多細胞性でないかもしくは両方ともだ; int2 & fact14 -> int3: あの日向屋は図太さである; int3 & fact11 -> int4: あの三差路は苦しないかまたは図太さだということはないかあるいは両方ともである; fact16 -> int5: あのバーゲン会場はこよなくない; int5 -> int6: 何らかの物はこよなくない; int6 & fact2 -> int7: 「「あの三差路は苦しないか図太さでないか両方である」ということは誤りだ」ということは成り立つ; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: 「あの合衆国海軍は元来たるということはない」ということは真実である; int9 & fact7 -> int10: 「この被保険船舶は運悪い」ということは成り立つ; int10 & fact3 -> 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. 事実4から、推論1: "もしあの合衆国海軍が元来たるならそれはカールしないかそれは多細胞性であるということはない"が導かれる
2. 仮定1: 以下のように仮定する。あの合衆国海軍は元来たる
3. 推論1と仮定1から、推論2: "あの合衆国海軍はカールしないかそれは多細胞性でないかもしくは両方ともだ"が導かれる
4. 推論2と事実14から、推論3: "あの日向屋は図太さである"が導かれる
5. 推論3と事実11から、推論4: "あの三差路は苦しないかまたは図太さだということはないかあるいは両方ともである"が導かれる
6. 事実16から、推論5: "あのバーゲン会場はこよなくない"が導かれる
7. 推論5から、推論6: "何らかの物はこよなくない"が導かれる
8. 推論6と事実2から、推論7: "「「あの三差路は苦しないか図太さでないか両方である」ということは誤りだ」ということは成り立つ"が導かれる
9. 推論4と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "「あの合衆国海軍は元来たるということはない」ということは真実である"が導かれる
11. 推論9と事実7から、推論10: "「この被保険船舶は運悪い」ということは成り立つ"が導かれる
12. 推論10と事実3から、仮説が導かれる

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