このゴールデンウィークは見境無い
fact1: もしも「とあるものはエントリーする」ということは成り立つとしたら聞こえ難い fact2: 仮に「この土曜・休日運転はまあるいがしかしそれは守護聖であるということはない」ということは間違いだとすればそれはエントリーする fact3: 「この土曜・休日運転は真弓だけれど押し殺さない」ということは偽である fact4: もし仮になにかは北面でないならそれは総括するし加えてめでたし fact5: 仮にこの土曜・休日運転が聞こえ難くないとすればこのゴールデンウィークは見境無くない fact6: もしも何かは金融資本でないかまたは差し障らないか両方であるとしたらそれは金融資本でない fact7: 仮にこの土曜・休日運転がまあるいならあの政治経済学はまあるい fact8: 「この土曜・休日運転はまあるいけれど守護聖でない」ということは本当でない fact9: 「もしもこの土曜・休日運転はまあるくないとすればあの土曜・休日運転はエントリーする」ということは確かだ fact10: その第一次西園寺内閣が北面でないかあるいはそれが指定出来ないとするとそれは北面でない fact11: もしもなにがしかのものは金融資本でないなら「それはエントリーしなくて更にそれは聞こえ難い」ということは本当であるということはない fact12: 「このゴールデンウィークはエントリーするということはないが聞こえ難い」ということは誤りであるとするとこの土曜・休日運転はまあるい fact13: 仮に金融資本があるならこのゴールデンウィークは見境無い fact14: もし仮にある物がめでたしとしたらそれは見境無い fact15: その第一次西園寺内閣は北面でないかもしくはそれは指定出来ないかまたは両方ともだ fact16: もし仮に「聞こえ難いかまたは金融資本であるか両方ともである」ものがあるならこのゴールデンウィークは見境無い fact17: 「このフレッチャー家はＢ列だがしかし結果するということはない」ということは成り立たない fact18: 仮にその第一次西園寺内閣が見境無いとするとこのゴールデンウィークは金融資本でないかあるいは差し障らないかまたはどちらもである
fact2 & fact8 -> int1: この土曜・休日運転はエントリーする; fact1 -> int2: もしもこの土曜・休日運転がエントリーすれば聞こえ難い; int1 & int2 -> int3: この土曜・休日運転は聞こえ難い; int3 -> int4: この土曜・休日運転は聞こえ難いかもしくは金融資本であるかもしくはどちらもだ; int4 -> int5: なにがしかのものは聞こえ難いかもしくは金融資本であるかあるいは両方ともだ; int5 & fact16 -> hypothesis;
あの政治経済学はまあるいかもしくは手慣れる
fact24 -> int6: このゴールデンウィークは金融資本だということはないとすると「エントリーしないしおまけにそれは聞こえ難い」ということは成り立たない; fact27 -> int7: もしもこのゴールデンウィークは金融資本でないか差し障らないかもしくは両方であるとしたら金融資本でない; fact25 -> int8: もしもその第一次西園寺内閣がめでたしならばそれは見境無い; fact23 -> int9: 仮にその第一次西園寺内閣は北面でないとしたら総括するしその上めでたし; fact26 & fact20 -> int10: その第一次西園寺内閣は北面でない; int9 & int10 -> int11: その第一次西園寺内閣は総括するし更にそれはめでたし; int11 -> int12: その第一次西園寺内閣はめでたし; int8 & int12 -> int13: その第一次西園寺内閣は見境無い; fact21 & int13 -> int14: 「このゴールデンウィークは金融資本であるということはないかそれは差し障らないかあるいはどちらもだ」ということは真実である; int7 & int14 -> int15: このゴールデンウィークは金融資本であるということはない; int6 & int15 -> int16: 「「このゴールデンウィークはエントリーしないけど聞こえ難い」ということは成り立つということはない」ということは真実である; fact19 & int16 -> int17: この土曜・休日運転はまあるい; fact22 & int17 -> int18: あの政治経済学はまあるい; int18 -> hypothesis;
$facts$ = fact1: もしも「とあるものはエントリーする」ということは成り立つとしたら聞こえ難い fact2: 仮に「この土曜・休日運転はまあるいがしかしそれは守護聖であるということはない」ということは間違いだとすればそれはエントリーする fact3: 「この土曜・休日運転は真弓だけれど押し殺さない」ということは偽である fact4: もし仮になにかは北面でないならそれは総括するし加えてめでたし fact5: 仮にこの土曜・休日運転が聞こえ難くないとすればこのゴールデンウィークは見境無くない fact6: もしも何かは金融資本でないかまたは差し障らないか両方であるとしたらそれは金融資本でない fact7: 仮にこの土曜・休日運転がまあるいならあの政治経済学はまあるい fact8: 「この土曜・休日運転はまあるいけれど守護聖でない」ということは本当でない fact9: 「もしもこの土曜・休日運転はまあるくないとすればあの土曜・休日運転はエントリーする」ということは確かだ fact10: その第一次西園寺内閣が北面でないかあるいはそれが指定出来ないとするとそれは北面でない fact11: もしもなにがしかのものは金融資本でないなら「それはエントリーしなくて更にそれは聞こえ難い」ということは本当であるということはない fact12: 「このゴールデンウィークはエントリーするということはないが聞こえ難い」ということは誤りであるとするとこの土曜・休日運転はまあるい fact13: 仮に金融資本があるならこのゴールデンウィークは見境無い fact14: もし仮にある物がめでたしとしたらそれは見境無い fact15: その第一次西園寺内閣は北面でないかもしくはそれは指定出来ないかまたは両方ともだ fact16: もし仮に「聞こえ難いかまたは金融資本であるか両方ともである」ものがあるならこのゴールデンウィークは見境無い fact17: 「このフレッチャー家はＢ列だがしかし結果するということはない」ということは成り立たない fact18: 仮にその第一次西園寺内閣が見境無いとするとこのゴールデンウィークは金融資本でないかあるいは差し障らないかまたはどちらもである ; $hypothesis$ = このゴールデンウィークは見境無い ; $proof$ = 
fact2 & fact8 -> int1: この土曜・休日運転はエントリーする; fact1 -> int2: もしもこの土曜・休日運転がエントリーすれば聞こえ難い; int1 & int2 -> int3: この土曜・休日運転は聞こえ難い; int3 -> int4: この土曜・休日運転は聞こえ難いかもしくは金融資本であるかもしくはどちらもだ; int4 -> int5: なにがしかのものは聞こえ難いかもしくは金融資本であるかあるいは両方ともだ; int5 & fact16 -> hypothesis; __PROVED__
事実1: もしも「とあるものはエントリーする」ということは成り立つとしたら聞こえ難い
事実2: 仮に「この土曜・休日運転はまあるいがしかしそれは守護聖であるということはない」ということは間違いだとすればそれはエントリーする
事実3: 「この土曜・休日運転は真弓だけれど押し殺さない」ということは偽である
事実4: もし仮になにかは北面でないならそれは総括するし加えてめでたし
事実5: 仮にこの土曜・休日運転が聞こえ難くないとすればこのゴールデンウィークは見境無くない
事実6: もしも何かは金融資本でないかまたは差し障らないか両方であるとしたらそれは金融資本でない
事実7: 仮にこの土曜・休日運転がまあるいならあの政治経済学はまあるい
事実8: 「この土曜・休日運転はまあるいけれど守護聖でない」ということは本当でない
事実9: 「もしもこの土曜・休日運転はまあるくないとすればあの土曜・休日運転はエントリーする」ということは確かだ
事実10: その第一次西園寺内閣が北面でないかあるいはそれが指定出来ないとするとそれは北面でない
事実11: もしもなにがしかのものは金融資本でないなら「それはエントリーしなくて更にそれは聞こえ難い」ということは本当であるということはない
事実12: 「このゴールデンウィークはエントリーするということはないが聞こえ難い」ということは誤りであるとするとこの土曜・休日運転はまあるい
事実13: 仮に金融資本があるならこのゴールデンウィークは見境無い
事実14: もし仮にある物がめでたしとしたらそれは見境無い
事実15: その第一次西園寺内閣は北面でないかもしくはそれは指定出来ないかまたは両方ともだ
事実16: もし仮に「聞こえ難いかまたは金融資本であるか両方ともである」ものがあるならこのゴールデンウィークは見境無い
事実17: 「このフレッチャー家はＢ列だがしかし結果するということはない」ということは成り立たない
事実18: 仮にその第一次西園寺内閣が見境無いとするとこのゴールデンウィークは金融資本でないかあるいは差し障らないかまたはどちらもである

仮説: このゴールデンウィークは見境無い
1. 事実2と事実8から、推論1: "この土曜・休日運転はエントリーする"が導かれる
2. 事実1から、推論2: "もしもこの土曜・休日運転がエントリーすれば聞こえ難い"が導かれる
3. 推論1と推論2から、推論3: "この土曜・休日運転は聞こえ難い"が導かれる
4. 推論3から、推論4: "この土曜・休日運転は聞こえ難いかもしくは金融資本であるかもしくはどちらもだ"が導かれる
5. 推論4から、推論5: "なにがしかのものは聞こえ難いかもしくは金融資本であるかあるいは両方ともだ"が導かれる
6. 推論5と事実16から、仮説が導かれる

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