その広告欄は企画委員会でない
fact1: その広告欄は縮むしそれにそれは政権維持である fact2: 仮にその広告欄は縮むとすれば「それは突き放すということはないかもしくはそれはロッド部分であるかまたは両方ともである」ということは成り立たない fact3: 「なんらかのものは収まり切るしそれは抗凝固療法である」ということは成り立たないとしたら当たり前過ぎない fact4: 全ては汚さない fact5: 「その縁編みはむさくないかあるいは大被害であるかまたは両方だ」ということは成り立たない fact6: 「「大被害だ」ということは事実である」ものはある fact7: 仮に冒涜は破り取るなら「あの民芸調仕上げは大被害でない」ということは成り立つ fact8: なんらかの物が縮むとしたら心地良い fact9: もし「その広告欄は突き放さないかロッド部分であるかあるいは両方である」ということは成り立つということはないとしたらそれは大被害でない fact10: 仮にこの別離が当たり前過ぎるということはないならばあの民芸調仕上げが清涼飲料だしその上権利宣言である fact11: その広告欄は政権維持だ fact12: もしも何らかのものは大被害であるとしたら「突き放さないがしかしロッド部分である」ということは成り立たない fact13: 「冒涜で破り取る」物はある fact14: 仮にあるものは汚さないなら「収まり切るし加えて抗凝固療法だ」ということは成り立たない fact15: もし仮に「その広告欄は突き放すかまたはロッド部分だ」ということは嘘であるならば「それは大被害であるということはない」ということは事実だ fact16: もし仮にこの忍び踊りが政権維持でないとしたらその広告欄が企画委員会だしかつ縮む fact17: もし仮に何らかのものは大被害だとすれば「その広告欄は大被害でない一方で企画委員会だ」ということは誤りだ fact18: もし仮にその広告欄は縮むとしたら「それは突き放す」ということは間違っていない
fact1 -> int1: その広告欄は縮む; int1 & fact2 -> int2: 「その広告欄は突き放さないかロッド部分であるかあるいは両方ともだ」ということは成り立たない; int2 & fact9 -> int3: その広告欄は大被害でない; void -> assump1: 以下のように仮定する。その広告欄は企画委員会だ; int3 & assump1 -> int4: その広告欄は大被害でないがしかしそれは企画委員会だ; fact17 & fact6 -> int5: 「その広告欄は大被害でないが企画委員会だ」ということは間違っている; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
その広告欄は企画委員会だ
fact26 & fact23 -> int7: あの民芸調仕上げは大被害でない; fact21 -> int8: 仮に「あの黒点群は収まり切るしそれは抗凝固療法である」ということは偽であるとしたらそれは当たり前過ぎない; fact19 -> int9: もし仮に「この舞戸は汚さない」ということは確かであるとすれば「収まり切るしかつ抗凝固療法だ」ということは偽である; fact24 -> int10: この舞戸は汚さない; int9 & int10 -> int11: 「この舞戸は収まり切るし抗凝固療法だ」ということは確かでない; int11 -> int12: それは収まり切るし抗凝固療法であるという物はない; int12 -> int13: 「あの黒点群は収まり切るし抗凝固療法だ」ということは事実と異なる; int8 & int13 -> int14: あの黒点群は当たり前過ぎない; int14 -> int15: すべてのものは当たり前過ぎない; int15 -> int16: この別離は当たり前過ぎるということはない; int16 & fact22 -> int17: あの民芸調仕上げは清涼飲料であるし権利宣言だ; int17 -> int18: 「あの民芸調仕上げは清涼飲料だ」ということは真実である; int7 & int18 -> int19: あの民芸調仕上げは清涼飲料だがしかし大被害でない; fact20 -> int20: この忍び踊りは大被害であるならば「それは突き放さないしロッド部分である」ということは成り立たない;
$facts$ = fact1: その広告欄は縮むしそれにそれは政権維持である fact2: 仮にその広告欄は縮むとすれば「それは突き放すということはないかもしくはそれはロッド部分であるかまたは両方ともである」ということは成り立たない fact3: 「なんらかのものは収まり切るしそれは抗凝固療法である」ということは成り立たないとしたら当たり前過ぎない fact4: 全ては汚さない fact5: 「その縁編みはむさくないかあるいは大被害であるかまたは両方だ」ということは成り立たない fact6: 「「大被害だ」ということは事実である」ものはある fact7: 仮に冒涜は破り取るなら「あの民芸調仕上げは大被害でない」ということは成り立つ fact8: なんらかの物が縮むとしたら心地良い fact9: もし「その広告欄は突き放さないかロッド部分であるかあるいは両方である」ということは成り立つということはないとしたらそれは大被害でない fact10: 仮にこの別離が当たり前過ぎるということはないならばあの民芸調仕上げが清涼飲料だしその上権利宣言である fact11: その広告欄は政権維持だ fact12: もしも何らかのものは大被害であるとしたら「突き放さないがしかしロッド部分である」ということは成り立たない fact13: 「冒涜で破り取る」物はある fact14: 仮にあるものは汚さないなら「収まり切るし加えて抗凝固療法だ」ということは成り立たない fact15: もし仮に「その広告欄は突き放すかまたはロッド部分だ」ということは嘘であるならば「それは大被害であるということはない」ということは事実だ fact16: もし仮にこの忍び踊りが政権維持でないとしたらその広告欄が企画委員会だしかつ縮む fact17: もし仮に何らかのものは大被害だとすれば「その広告欄は大被害でない一方で企画委員会だ」ということは誤りだ fact18: もし仮にその広告欄は縮むとしたら「それは突き放す」ということは間違っていない ; $hypothesis$ = その広告欄は企画委員会でない ; $proof$ = 
fact1 -> int1: その広告欄は縮む; int1 & fact2 -> int2: 「その広告欄は突き放さないかロッド部分であるかあるいは両方ともだ」ということは成り立たない; int2 & fact9 -> int3: その広告欄は大被害でない; void -> assump1: 以下のように仮定する。その広告欄は企画委員会だ; int3 & assump1 -> int4: その広告欄は大被害でないがしかしそれは企画委員会だ; fact17 & fact6 -> int5: 「その広告欄は大被害でないが企画委員会だ」ということは間違っている; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __PROVED__
事実1: その広告欄は縮むしそれにそれは政権維持である
事実2: 仮にその広告欄は縮むとすれば「それは突き放すということはないかもしくはそれはロッド部分であるかまたは両方ともである」ということは成り立たない
事実3: 「なんらかのものは収まり切るしそれは抗凝固療法である」ということは成り立たないとしたら当たり前過ぎない
事実4: 全ては汚さない
事実5: 「その縁編みはむさくないかあるいは大被害であるかまたは両方だ」ということは成り立たない
事実6: 「「大被害だ」ということは事実である」ものはある
事実7: 仮に冒涜は破り取るなら「あの民芸調仕上げは大被害でない」ということは成り立つ
事実8: なんらかの物が縮むとしたら心地良い
事実9: もし「その広告欄は突き放さないかロッド部分であるかあるいは両方である」ということは成り立つということはないとしたらそれは大被害でない
事実10: 仮にこの別離が当たり前過ぎるということはないならばあの民芸調仕上げが清涼飲料だしその上権利宣言である
事実11: その広告欄は政権維持だ
事実12: もしも何らかのものは大被害であるとしたら「突き放さないがしかしロッド部分である」ということは成り立たない
事実13: 「冒涜で破り取る」物はある
事実14: 仮にあるものは汚さないなら「収まり切るし加えて抗凝固療法だ」ということは成り立たない
事実15: もし仮に「その広告欄は突き放すかまたはロッド部分だ」ということは嘘であるならば「それは大被害であるということはない」ということは事実だ
事実16: もし仮にこの忍び踊りが政権維持でないとしたらその広告欄が企画委員会だしかつ縮む
事実17: もし仮に何らかのものは大被害だとすれば「その広告欄は大被害でない一方で企画委員会だ」ということは誤りだ
事実18: もし仮にその広告欄は縮むとしたら「それは突き放す」ということは間違っていない

仮説: その広告欄は企画委員会でない
1. 事実1から、推論1: "その広告欄は縮む"が導かれる
2. 推論1と事実2から、推論2: "「その広告欄は突き放さないかロッド部分であるかあるいは両方ともだ」ということは成り立たない"が導かれる
3. 推論2と事実9から、推論3: "その広告欄は大被害でない"が導かれる
4. 仮定1: 以下のように仮定する。その広告欄は企画委員会だ
5. 推論3と仮定1から、推論4: "その広告欄は大被害でないがしかしそれは企画委員会だ"が導かれる
6. 事実17と事実6から、推論5: "「その広告欄は大被害でないが企画委員会だ」ということは間違っている"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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