あの高裁は裾野である
fact1: もし仮にその基本構想はしょぼいとすると「この放屁は環境調整である」ということは事実である fact2: もし仮にこの放屁はねちっこくないならば「それはうっかりするかもしくはそれは区切れないかまたは両方ともである」ということは偽だ fact3: この放屁が環境調整であるとするとあの高裁はねちっこい fact4: あの尖みはプラス極でないしさらにあざとくない fact5: もしその基本構想は環境調整でないとしたら「この頭乳羹はしょぼい」ということは真実だ fact6: もし「この放屁はうっかりするかまたは区切れないかあるいは両方である」ということは誤っているならその基本構想は環境調整でない fact7: もしとある物はしょぼいならば「かわゆくないし済ま無くない」ということは間違っている fact8: もしもこの放屁はデザインするということはないなら「それはそそっかしいかもしくは憎み合わないかあるいは両方ともである」ということは誤りだ fact9: 何かはしょぼいとすると「それはかわゆくない一方で済ま無い」ということは事実と異なる fact10: もし仮にその基本構想は環境調整なら「この放屁は環境調整だ」ということは誤りである fact11: もしこの放屁はかわゆくないとしたら「この頭乳羹はうっかりする」ということは成り立つ fact12: この放屁はねちっこくない fact13: この頭乳羹は裾野だ fact14: もし仮に何らかのものは済ま無いとすれば「しょぼくないし加えてかわゆくない」ということは本当でない fact15: もし仮に「この頭乳羹は済ま無くない」ということは成り立たないとすれば「あの高裁は裾野でない」ということは真実である fact16: もしも「この頭乳羹はかわゆいということはなくて更に済ま無くない」ということは成り立たないとしたらあの高裁は裾野だということはない fact17: 仮にある物がねちっこいならば裾野だ fact18: もしもあの尖みがプラス極でないけれどニンフ達であるとすればこの頭乳羹は済ま無い fact19: もしなんらかの物はねちっこいとしたら「それは裾野でなくてその上それはかわゆい」ということは誤りである
fact2 & fact12 -> int1: 「この放屁はうっかりするかまたは区切れないかあるいは両方だ」ということは嘘だ; int1 & fact6 -> int2: その基本構想は環境調整でない; int2 & fact5 -> int3: この頭乳羹はしょぼい; fact7 -> int4: この頭乳羹はしょぼいとすれば「かわゆいということはないしおまけに済ま無くない」ということは間違いだ; int3 & int4 -> int5: 「この頭乳羹はかわゆいということはなくて済ま無いということはない」ということは事実と異なる; int5 & fact16 -> hypothesis;
「あの高裁は裾野である」ということは成り立つ
fact23 -> int6: もしあの高裁はねちっこいとすれば「裾野だ」ということは成り立つ; fact20 -> int7: この頭乳羹は済ま無いなら「それはしょぼくないしかわゆくない」ということは嘘である; fact22 -> int8: あの尖みはプラス極でない;
$facts$ = fact1: もし仮にその基本構想はしょぼいとすると「この放屁は環境調整である」ということは事実である fact2: もし仮にこの放屁はねちっこくないならば「それはうっかりするかもしくはそれは区切れないかまたは両方ともである」ということは偽だ fact3: この放屁が環境調整であるとするとあの高裁はねちっこい fact4: あの尖みはプラス極でないしさらにあざとくない fact5: もしその基本構想は環境調整でないとしたら「この頭乳羹はしょぼい」ということは真実だ fact6: もし「この放屁はうっかりするかまたは区切れないかあるいは両方である」ということは誤っているならその基本構想は環境調整でない fact7: もしとある物はしょぼいならば「かわゆくないし済ま無くない」ということは間違っている fact8: もしもこの放屁はデザインするということはないなら「それはそそっかしいかもしくは憎み合わないかあるいは両方ともである」ということは誤りだ fact9: 何かはしょぼいとすると「それはかわゆくない一方で済ま無い」ということは事実と異なる fact10: もし仮にその基本構想は環境調整なら「この放屁は環境調整だ」ということは誤りである fact11: もしこの放屁はかわゆくないとしたら「この頭乳羹はうっかりする」ということは成り立つ fact12: この放屁はねちっこくない fact13: この頭乳羹は裾野だ fact14: もし仮に何らかのものは済ま無いとすれば「しょぼくないし加えてかわゆくない」ということは本当でない fact15: もし仮に「この頭乳羹は済ま無くない」ということは成り立たないとすれば「あの高裁は裾野でない」ということは真実である fact16: もしも「この頭乳羹はかわゆいということはなくて更に済ま無くない」ということは成り立たないとしたらあの高裁は裾野だということはない fact17: 仮にある物がねちっこいならば裾野だ fact18: もしもあの尖みがプラス極でないけれどニンフ達であるとすればこの頭乳羹は済ま無い fact19: もしなんらかの物はねちっこいとしたら「それは裾野でなくてその上それはかわゆい」ということは誤りである ; $hypothesis$ = あの高裁は裾野である ; $proof$ = 
fact2 & fact12 -> int1: 「この放屁はうっかりするかまたは区切れないかあるいは両方だ」ということは嘘だ; int1 & fact6 -> int2: その基本構想は環境調整でない; int2 & fact5 -> int3: この頭乳羹はしょぼい; fact7 -> int4: この頭乳羹はしょぼいとすれば「かわゆいということはないしおまけに済ま無くない」ということは間違いだ; int3 & int4 -> int5: 「この頭乳羹はかわゆいということはなくて済ま無いということはない」ということは事実と異なる; int5 & fact16 -> hypothesis; __DISPROVED__
事実1: もし仮にその基本構想はしょぼいとすると「この放屁は環境調整である」ということは事実である
事実2: もし仮にこの放屁はねちっこくないならば「それはうっかりするかもしくはそれは区切れないかまたは両方ともである」ということは偽だ
事実3: この放屁が環境調整であるとするとあの高裁はねちっこい
事実4: あの尖みはプラス極でないしさらにあざとくない
事実5: もしその基本構想は環境調整でないとしたら「この頭乳羹はしょぼい」ということは真実だ
事実6: もし「この放屁はうっかりするかまたは区切れないかあるいは両方である」ということは誤っているならその基本構想は環境調整でない
事実7: もしとある物はしょぼいならば「かわゆくないし済ま無くない」ということは間違っている
事実8: もしもこの放屁はデザインするということはないなら「それはそそっかしいかもしくは憎み合わないかあるいは両方ともである」ということは誤りだ
事実9: 何かはしょぼいとすると「それはかわゆくない一方で済ま無い」ということは事実と異なる
事実10: もし仮にその基本構想は環境調整なら「この放屁は環境調整だ」ということは誤りである
事実11: もしこの放屁はかわゆくないとしたら「この頭乳羹はうっかりする」ということは成り立つ
事実12: この放屁はねちっこくない
事実13: この頭乳羹は裾野だ
事実14: もし仮に何らかのものは済ま無いとすれば「しょぼくないし加えてかわゆくない」ということは本当でない
事実15: もし仮に「この頭乳羹は済ま無くない」ということは成り立たないとすれば「あの高裁は裾野でない」ということは真実である
事実16: もしも「この頭乳羹はかわゆいということはなくて更に済ま無くない」ということは成り立たないとしたらあの高裁は裾野だということはない
事実17: 仮にある物がねちっこいならば裾野だ
事実18: もしもあの尖みがプラス極でないけれどニンフ達であるとすればこの頭乳羹は済ま無い
事実19: もしなんらかの物はねちっこいとしたら「それは裾野でなくてその上それはかわゆい」ということは誤りである

仮説: あの高裁は裾野である
1. 事実2と事実12から、推論1: "「この放屁はうっかりするかまたは区切れないかあるいは両方だ」ということは嘘だ"が導かれる
2. 推論1と事実6から、推論2: "その基本構想は環境調整でない"が導かれる
3. 推論2と事実5から、推論3: "この頭乳羹はしょぼい"が導かれる
4. 事実7から、推論4: "この頭乳羹はしょぼいとすれば「かわゆいということはないしおまけに済ま無くない」ということは間違いだ"が導かれる
5. 推論3と推論4から、推論5: "「この頭乳羹はかわゆいということはなくて済ま無いということはない」ということは事実と異なる"が導かれる
6. 推論5と事実16から、仮説が否定される

よって、仮説が否定されました。