あの機械弁は高速バスでない
fact1: もし仮に「その樹種は総合博物館でない」ということは正しいとするとあの機械弁は高速バスでぎごちない fact2: 「あの機械弁は掻き回さない一方で綾取りである」ということは間違いであるとすればそれは胃瘻だ fact3: このグループ分けは早しないがしかし胃瘻である fact4: 仮にあの機械弁は高速バスであるならば「それはぎごちない」ということは本当である fact5: このメイは高速バスである fact6: あの機械弁は軽蔑するしさらに埃っぽい fact7: あの機械弁は丹波島宿でない fact8: 「ある物は丹波島宿であるということはない」ということは正しいとすれば「「それは掻き回さないし加えて綾取りである」ということは成り立つ」ということは嘘である fact9: 仮にあの機械弁が胃瘻だしおまけに軽蔑するとすればあの精神変容効果は早しない fact10: 早しないものは総合博物館であるしぎごちない fact11: あの転生はぎごちなくない fact12: あの引き落としが癒し難いとするとそれは使い難い fact13: あの機械弁は同視する fact14: 仮に「なにがしかのものは高速バスでないけどそれは総合博物館だ」ということは嘘ならばそれは高速バスだ fact15: 「あの機械弁は焼け付く」ということは誤っていない fact16: あの機械弁はぎごちなくない
void -> assump1: 以下のように仮定する。あの機械弁は高速バスだ; fact4 & assump1 -> int1: あの機械弁はぎごちない; int1 & fact16 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
その精神変容効果は高速バスでない
fact22 -> int3: 「その精神変容効果は早しない」ということは成り立つとしたら「総合博物館で加えてぎごちない」ということは成り立つ; fact20 -> int4: 仮に「あの機械弁は丹波島宿でない」ということは成り立てば「掻き回すということはなくてしかも綾取りだ」ということは嘘である; int4 & fact17 -> int5: 「あの機械弁は掻き回さないけれどそれは綾取りである」ということは成り立たない; fact21 & int5 -> int6: あの機械弁は胃瘻だ; fact18 -> int7: あの機械弁は軽蔑する; int6 & int7 -> int8: あの機械弁は胃瘻でかつ軽蔑する; fact19 & int8 -> int9: その精神変容効果は早しない; int3 & int9 -> int10: その精神変容効果は総合博物館であるし加えてぎごちない; int10 -> int11: その精神変容効果はぎごちない;
$facts$ = fact1: もし仮に「その樹種は総合博物館でない」ということは正しいとするとあの機械弁は高速バスでぎごちない fact2: 「あの機械弁は掻き回さない一方で綾取りである」ということは間違いであるとすればそれは胃瘻だ fact3: このグループ分けは早しないがしかし胃瘻である fact4: 仮にあの機械弁は高速バスであるならば「それはぎごちない」ということは本当である fact5: このメイは高速バスである fact6: あの機械弁は軽蔑するしさらに埃っぽい fact7: あの機械弁は丹波島宿でない fact8: 「ある物は丹波島宿であるということはない」ということは正しいとすれば「「それは掻き回さないし加えて綾取りである」ということは成り立つ」ということは嘘である fact9: 仮にあの機械弁が胃瘻だしおまけに軽蔑するとすればあの精神変容効果は早しない fact10: 早しないものは総合博物館であるしぎごちない fact11: あの転生はぎごちなくない fact12: あの引き落としが癒し難いとするとそれは使い難い fact13: あの機械弁は同視する fact14: 仮に「なにがしかのものは高速バスでないけどそれは総合博物館だ」ということは嘘ならばそれは高速バスだ fact15: 「あの機械弁は焼け付く」ということは誤っていない fact16: あの機械弁はぎごちなくない ; $hypothesis$ = あの機械弁は高速バスでない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの機械弁は高速バスだ; fact4 & assump1 -> int1: あの機械弁はぎごちない; int1 & fact16 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もし仮に「その樹種は総合博物館でない」ということは正しいとするとあの機械弁は高速バスでぎごちない
事実2: 「あの機械弁は掻き回さない一方で綾取りである」ということは間違いであるとすればそれは胃瘻だ
事実3: このグループ分けは早しないがしかし胃瘻である
事実4: 仮にあの機械弁は高速バスであるならば「それはぎごちない」ということは本当である
事実5: このメイは高速バスである
事実6: あの機械弁は軽蔑するしさらに埃っぽい
事実7: あの機械弁は丹波島宿でない
事実8: 「ある物は丹波島宿であるということはない」ということは正しいとすれば「「それは掻き回さないし加えて綾取りである」ということは成り立つ」ということは嘘である
事実9: 仮にあの機械弁が胃瘻だしおまけに軽蔑するとすればあの精神変容効果は早しない
事実10: 早しないものは総合博物館であるしぎごちない
事実11: あの転生はぎごちなくない
事実12: あの引き落としが癒し難いとするとそれは使い難い
事実13: あの機械弁は同視する
事実14: 仮に「なにがしかのものは高速バスでないけどそれは総合博物館だ」ということは嘘ならばそれは高速バスだ
事実15: 「あの機械弁は焼け付く」ということは誤っていない
事実16: あの機械弁はぎごちなくない

仮説: あの機械弁は高速バスでない
1. 仮定1: 以下のように仮定する。あの機械弁は高速バスだ
2. 事実4と仮定1から、推論1: "あの機械弁はぎごちない"が導かれる
3. 推論1と事実16から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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