あの鶫はすっごーくない
fact1: 仮にあのキリスト教以外が打ち合わないとするとあの能書家は旨しない一方で発揮し難い fact2: あるものは逃げ回らないとすると「許し難いししかも戦争開始でない」ということは成り立たない fact3: もし仮に「「取り捌かない」ということは間違っていない」ものがあるとすればあの特約条項はオランダ船隊でない fact4: その妻帯者が座り込まないとしたらあの鶫はすっごーいが感じ難くない fact5: あの着弾は取り捌かない fact6: この基本仕様は座り込む fact7: 仮に「あのＦＲは偲ぶがしかし座り込まない」ということは成り立つということはないならその妻帯者は座り込まない fact8: その特約条項はオランダ船隊でないならば「それは新型バイポーラースネアであるし材料単価である」ということは偽である fact9: 艶っぽいかあるいはネイティブらしいかあるいはどちらもである物はある fact10: 「「艶っぽいかネイティブらしいかもしくは両方である」ということは成り立たない」ものがあるならあの鶫は感じ難い fact11: 「この鉄道業は艶っぽいかまたはネイティブらしいか両方である」ということは真実でない fact12: もし仮にあの鶫が艶っぽいしさらにそれがすっごーいなら感じ難いということはない fact13: この賠償金が許し難くないとするとあのキリスト教以外は興奮し過ぎるということはなくて打ち合わない fact14: 「「すっごーいかもしくは艶っぽいかもしくはどちらもである」ということは成り立つということはない」ものはある fact15: もしあの能書家が旨しないがそれは発揮し難いなら「この飛灰中は発揮し難い」ということは真実だ fact16: もしもこの飛灰中は発揮し難いとすると「あのＦＲは偲ぶけれど座り込まない」ということは間違いである fact17: あの鶫は座り込む fact18: もし仮に「ある物は許し難いけど戦争開始であるということはない」ということは真実であるということはないならばそれは許し難くない fact19: もしあの鶫が座り込むしおまけに感じ難いならすっごーくない fact20: もしあの自家用家屋が分割バーであるならこの賠償金は逃げ回るということはないし石子でない
fact11 -> int1: 「「艶っぽいかあるいはネイティブらしい」ということは確かでない」ものはある; int1 & fact10 -> int2: あの鶫は感じ難い; int2 & fact17 -> int3: あの鶫は座り込むし更に感じ難い; int3 & fact19 -> hypothesis;
あの鶫はすっごーい
fact25 -> int4: もし仮に「この賠償金は許し難いけど戦争開始だということはない」ということは嘘だとするとそれは許し難くない; fact23 -> int5: もしもこの賠償金は逃げ回らないとすれば「それは許し難いけど戦争開始だということはない」ということは誤りだ; fact29 -> int6: 何らかのものは取り捌くということはない; int6 & fact31 -> int7: その特約条項はオランダ船隊でない; fact24 & int7 -> int8: 「その特約条項が新型バイポーラースネアだしそれは材料単価だ」ということは本当であるということはない; int8 -> int9: 「「新型バイポーラースネアだし加えて材料単価だ」ということは間違いである」ものはある;
$facts$ = fact1: 仮にあのキリスト教以外が打ち合わないとするとあの能書家は旨しない一方で発揮し難い fact2: あるものは逃げ回らないとすると「許し難いししかも戦争開始でない」ということは成り立たない fact3: もし仮に「「取り捌かない」ということは間違っていない」ものがあるとすればあの特約条項はオランダ船隊でない fact4: その妻帯者が座り込まないとしたらあの鶫はすっごーいが感じ難くない fact5: あの着弾は取り捌かない fact6: この基本仕様は座り込む fact7: 仮に「あのＦＲは偲ぶがしかし座り込まない」ということは成り立つということはないならその妻帯者は座り込まない fact8: その特約条項はオランダ船隊でないならば「それは新型バイポーラースネアであるし材料単価である」ということは偽である fact9: 艶っぽいかあるいはネイティブらしいかあるいはどちらもである物はある fact10: 「「艶っぽいかネイティブらしいかもしくは両方である」ということは成り立たない」ものがあるならあの鶫は感じ難い fact11: 「この鉄道業は艶っぽいかまたはネイティブらしいか両方である」ということは真実でない fact12: もし仮にあの鶫が艶っぽいしさらにそれがすっごーいなら感じ難いということはない fact13: この賠償金が許し難くないとするとあのキリスト教以外は興奮し過ぎるということはなくて打ち合わない fact14: 「「すっごーいかもしくは艶っぽいかもしくはどちらもである」ということは成り立つということはない」ものはある fact15: もしあの能書家が旨しないがそれは発揮し難いなら「この飛灰中は発揮し難い」ということは真実だ fact16: もしもこの飛灰中は発揮し難いとすると「あのＦＲは偲ぶけれど座り込まない」ということは間違いである fact17: あの鶫は座り込む fact18: もし仮に「ある物は許し難いけど戦争開始であるということはない」ということは真実であるということはないならばそれは許し難くない fact19: もしあの鶫が座り込むしおまけに感じ難いならすっごーくない fact20: もしあの自家用家屋が分割バーであるならこの賠償金は逃げ回るということはないし石子でない ; $hypothesis$ = あの鶫はすっごーくない ; $proof$ = 
fact11 -> int1: 「「艶っぽいかあるいはネイティブらしい」ということは確かでない」ものはある; int1 & fact10 -> int2: あの鶫は感じ難い; int2 & fact17 -> int3: あの鶫は座り込むし更に感じ難い; int3 & fact19 -> hypothesis; __PROVED__
事実1: 仮にあのキリスト教以外が打ち合わないとするとあの能書家は旨しない一方で発揮し難い
事実2: あるものは逃げ回らないとすると「許し難いししかも戦争開始でない」ということは成り立たない
事実3: もし仮に「「取り捌かない」ということは間違っていない」ものがあるとすればあの特約条項はオランダ船隊でない
事実4: その妻帯者が座り込まないとしたらあの鶫はすっごーいが感じ難くない
事実5: あの着弾は取り捌かない
事実6: この基本仕様は座り込む
事実7: 仮に「あのＦＲは偲ぶがしかし座り込まない」ということは成り立つということはないならその妻帯者は座り込まない
事実8: その特約条項はオランダ船隊でないならば「それは新型バイポーラースネアであるし材料単価である」ということは偽である
事実9: 艶っぽいかあるいはネイティブらしいかあるいはどちらもである物はある
事実10: 「「艶っぽいかネイティブらしいかもしくは両方である」ということは成り立たない」ものがあるならあの鶫は感じ難い
事実11: 「この鉄道業は艶っぽいかまたはネイティブらしいか両方である」ということは真実でない
事実12: もし仮にあの鶫が艶っぽいしさらにそれがすっごーいなら感じ難いということはない
事実13: この賠償金が許し難くないとするとあのキリスト教以外は興奮し過ぎるということはなくて打ち合わない
事実14: 「「すっごーいかもしくは艶っぽいかもしくはどちらもである」ということは成り立つということはない」ものはある
事実15: もしあの能書家が旨しないがそれは発揮し難いなら「この飛灰中は発揮し難い」ということは真実だ
事実16: もしもこの飛灰中は発揮し難いとすると「あのＦＲは偲ぶけれど座り込まない」ということは間違いである
事実17: あの鶫は座り込む
事実18: もし仮に「ある物は許し難いけど戦争開始であるということはない」ということは真実であるということはないならばそれは許し難くない
事実19: もしあの鶫が座り込むしおまけに感じ難いならすっごーくない
事実20: もしあの自家用家屋が分割バーであるならこの賠償金は逃げ回るということはないし石子でない

仮説: あの鶫はすっごーくない
1. 事実11から、推論1: "「「艶っぽいかあるいはネイティブらしい」ということは確かでない」ものはある"が導かれる
2. 推論1と事実10から、推論2: "あの鶫は感じ難い"が導かれる
3. 推論2と事実17から、推論3: "あの鶫は座り込むし更に感じ難い"が導かれる
4. 推論3と事実19から、仮説が導かれる

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