「この体力点は非礼でないけれどそれは支持線である」ということは間違っている
fact1: もしもこの体力点が当たるし仕方無しならこの転送効率は非礼でない fact2: もしもこの転送効率が仕方無しないとするとこの作成範囲がダム計画だしかつ当たる fact3: なんらかのものはパイプ役ならば「絶え入らないしその上煮え滾る」ということは正しくない fact4: 仮にこの転送効率がダム計画であるし更に当たるとすればこの体力点は仕方無しない fact5: この転送効率は仕方無し fact6: もしもこの転送効率が仕方無ししまたそれが非礼だとしたらこの体力点は当たらない fact7: もしとあるものは仕方無しないならば「それは非礼で支持線である」ということは事実でない fact8: もし仮にあの各船が来合わせないとすると息詰まる fact9: この無許可は当たる fact10: 仮にこの体力点が制限税率だとするとこの転送効率は支持線である fact11: 「あの各船は来合わせない」ということは真実である fact12: 仮に「その基幹はパイプ役であるか飲み慣れないかまたはどちらもだ」ということは間違っていればこの転送効率はパイプ役だ fact13: 「この体力点は当たるしまた支持線である」ということは成り立たない fact14: この転送効率は当たる fact15: もしもある物はダム計画であるなら「煩悶しないしそれは輸入する」ということは誤っている fact16: なにがしかの物は当たるけれど仕方無しないとすれば「ダム計画だということはない」ということは正しい fact17: とあるものが制限税率であるならそれは当たるしさらにそれは仕方無しない fact18: もしこの転送効率が支持線であるしダム計画だとしたらこの体力点は非礼でない fact19: 「この体力点は非礼で支持線だ」ということは成り立たない fact20: あるものがダム計画でないとすればそれは非礼でなくてしかもそれは支持線だ fact21: とあるものは仕方無しないなら「それは非礼でなくてそれは支持線だ」ということは成り立たない fact22: あの各船は息詰まるとすれば「その基幹はパイプ役であるかもしくは飲み慣れないかもしくはどちらもだ」ということは嘘である fact23: この転送効率はダム計画だ
fact23 & fact14 -> int1: この転送効率はダム計画であるし当たる; int1 & fact4 -> int2: 「この体力点は仕方無しということはない」ということは真実である; fact21 -> int3: もしこの体力点は仕方無しということはないならば「それは非礼でないししかもそれは支持線だ」ということは嘘だ; int2 & int3 -> hypothesis;
「この作成範囲は煩悶しないけれど輸入する」ということは嘘だ
fact24 -> int4: 仮にこの作成範囲はダム計画ならば「それは煩悶しなくてそれに輸入する」ということは正しくない;
$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$ = 
fact23 & fact14 -> int1: この転送効率はダム計画であるし当たる; int1 & fact4 -> int2: 「この体力点は仕方無しということはない」ということは真実である; fact21 -> int3: もしこの体力点は仕方無しということはないならば「それは非礼でないししかもそれは支持線だ」ということは嘘だ; int2 & int3 -> 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. 事実23と事実14から、推論1: "この転送効率はダム計画であるし当たる"が導かれる
2. 推論1と事実4から、推論2: "「この体力点は仕方無しということはない」ということは真実である"が導かれる
3. 事実21から、推論3: "もしこの体力点は仕方無しということはないならば「それは非礼でないししかもそれは支持線だ」ということは嘘だ"が導かれる
4. 推論2と推論3から、仮説が導かれる

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