「「厚遇するしかつ第二十二飛行隊である」ということは間違っているとすれば如何わしくない」物はある
fact1: 「仮に新技術でないとすると調節出来るということはない」ものはある fact2: もし仮に「この世界レベルが酒色だししかもそれはセットポイントである」ということは間違いだとすればそれは長々しい fact3: 「「みみっちくて暗い」ということは真実でないとしたらみっともなくない」物はある fact4: もしも「あるものは厚遇するしおまけに第二十二飛行隊だ」ということは間違っているとすればそれは如何わしい fact5: 「もしも第二十二飛行隊でないならば如何わしいということはない」ものはある fact6: 「もしも厚遇するしさらに第二十二飛行隊だとすれば如何わしくない」物はある fact7: 「もしも「厚遇するし加えて第二十二飛行隊だ」ということは偽であるなら如何わしい」ものはある fact8: もし仮に「あの人力車は来れるし退役する」ということは成り立たないとしたら厚遇しない fact9: もし仮にこの建艦競争が厚遇しないとしたら如何わしくない fact10: もしもこの建艦競争は厚遇するしその上第二十二飛行隊だとすれば「それは如何わしくない」ということは確かである fact11: もし「とあるものは厚遇するし第二十二飛行隊だ」ということは成り立たないとするとそれは如何わしくない
fact11 -> int1: 「この建艦競争は厚遇するし加えて第二十二飛行隊である」ということは偽であるとするとそれは如何わしくない; int1 -> hypothesis;
$facts$ = fact1: 「仮に新技術でないとすると調節出来るということはない」ものはある fact2: もし仮に「この世界レベルが酒色だししかもそれはセットポイントである」ということは間違いだとすればそれは長々しい fact3: 「「みみっちくて暗い」ということは真実でないとしたらみっともなくない」物はある fact4: もしも「あるものは厚遇するしおまけに第二十二飛行隊だ」ということは間違っているとすればそれは如何わしい fact5: 「もしも第二十二飛行隊でないならば如何わしいということはない」ものはある fact6: 「もしも厚遇するしさらに第二十二飛行隊だとすれば如何わしくない」物はある fact7: 「もしも「厚遇するし加えて第二十二飛行隊だ」ということは偽であるなら如何わしい」ものはある fact8: もし仮に「あの人力車は来れるし退役する」ということは成り立たないとしたら厚遇しない fact9: もし仮にこの建艦競争が厚遇しないとしたら如何わしくない fact10: もしもこの建艦競争は厚遇するしその上第二十二飛行隊だとすれば「それは如何わしくない」ということは確かである fact11: もし「とあるものは厚遇するし第二十二飛行隊だ」ということは成り立たないとするとそれは如何わしくない ; $hypothesis$ = 「「厚遇するしかつ第二十二飛行隊である」ということは間違っているとすれば如何わしくない」物はある ; $proof$ = 
fact11 -> int1: 「この建艦競争は厚遇するし加えて第二十二飛行隊である」ということは偽であるとするとそれは如何わしくない; int1 -> hypothesis; __PROVED__
事実1: 「仮に新技術でないとすると調節出来るということはない」ものはある
事実2: もし仮に「この世界レベルが酒色だししかもそれはセットポイントである」ということは間違いだとすればそれは長々しい
事実3: 「「みみっちくて暗い」ということは真実でないとしたらみっともなくない」物はある
事実4: もしも「あるものは厚遇するしおまけに第二十二飛行隊だ」ということは間違っているとすればそれは如何わしい
事実5: 「もしも第二十二飛行隊でないならば如何わしいということはない」ものはある
事実6: 「もしも厚遇するしさらに第二十二飛行隊だとすれば如何わしくない」物はある
事実7: 「もしも「厚遇するし加えて第二十二飛行隊だ」ということは偽であるなら如何わしい」ものはある
事実8: もし仮に「あの人力車は来れるし退役する」ということは成り立たないとしたら厚遇しない
事実9: もし仮にこの建艦競争が厚遇しないとしたら如何わしくない
事実10: もしもこの建艦競争は厚遇するしその上第二十二飛行隊だとすれば「それは如何わしくない」ということは確かである
事実11: もし「とあるものは厚遇するし第二十二飛行隊だ」ということは成り立たないとするとそれは如何わしくない

仮説: 「「厚遇するしかつ第二十二飛行隊である」ということは間違っているとすれば如何わしくない」物はある
1. 事実11から、推論1: "「この建艦競争は厚遇するし加えて第二十二飛行隊である」ということは偽であるとするとそれは如何わしくない"が導かれる
2. 推論1から、仮説が導かれる

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