「このアミューズメント施設はアセトアルデヒドだということはない」ということは偽でない
fact1: もしもこのコーンフレークが主債務者であるとするとこのアミューズメント施設はアセトアルデヒドでない fact2: もし「あの軽御子は新規プロジェクトだ」ということは正しいならこのＢ・Ｃは冷め易い fact3: もしあの酵素活性が鏡視下・気嚢下であるかまたはそれがメールアカウントならこのＢ・Ｃは新規プロジェクトでない fact4: もし仮にあるものが捕らうないとしたら冷め易いか新規プロジェクトであるかあるいはどちらもだ fact5: 「このアミューズメント施設は冷め易いかまたはアセトアルデヒドであるかあるいは両方である」ということは正しい fact6: もしも「あの軽御子が開窓術だしさらにそれは捕らう」ということは確かでないなら捕らうない fact7: このコーンフレークは主債務者で更に聞き辛いとするとそれは狭苦しい fact8: もしもなにがしかの物が鏡視下・気嚢下でないけれど新規プロジェクトだとすればそれは狭苦しくない fact9: もしも「「競技だ」ということは真実である」物はあれば「あの軽御子は上接しなくてそれは問題練習でない」ということは成り立たない fact10: もし仮に「このコーンフレークは主債務者でないけれど聞き辛い」ということは偽ならばあのアミューズメント施設はアセトアルデヒドでない fact11: もしもあの軽御子が冷め易いとしたらこのＢ・Ｃは新規プロジェクトだ fact12: もしもあの軽御子が新規プロジェクトであるならばこのＢ・Ｃは新規プロジェクトだ fact13: 仮にこのコーンフレークが狭苦しいとしたらあの酵素活性はメールアカウントだ fact14: このコーンフレークが主債務者でないが聞き辛いならば狭苦しい fact15: もしもこのＢ・Ｃが開窓術だということはないならあの酵素活性は冷め易くて捕らう fact16: もしあの酵素活性が鏡視下・気嚢下であるならこのＢ・Ｃは新規プロジェクトだということはない fact17: 「このコーンフレークが主債務者だしそれは聞き辛い」ということは成り立たない fact18: 漏れ易くない物は引用文献であるが物悲しくない fact19: その協力隊員は初頭でなくて間違い易くない fact20: その協力隊員が引用文献だけど物悲しいということはないとしたらこの三十四参照は物悲しくない fact21: このコーンフレークは新規プロジェクトであるしアセトアルデヒドである fact22: それは開窓術でそれは捕らうという物はない fact23: 仮にその協力隊員が初頭でなくておまけにそれが間違い易いということはないとするとそれは漏れ易いということはない fact24: 仮にこの三十四参照が物悲しくないとすればそれは宇宙意識だししかも競技だ fact25: もしも「あの軽御子は上接しなくて更にそれは問題練習であるということはない」ということは間違っているとすればあのＢ・Ｃは開窓術でない fact26: このコーンフレークは主債務者であるということはない
void -> assump1: 以下のように仮定する。このコーンフレークは主債務者でないけれどそれは聞き辛い; fact14 & assump1 -> int1: このコーンフレークは狭苦しい; int1 & fact13 -> int2: あの酵素活性はメールアカウントである; int2 -> int3: あの酵素活性は鏡視下・気嚢下であるかメールアカウントであるかもしくは両方ともだ; int3 & fact3 -> int4: このＢ・Ｃは新規プロジェクトでない; fact4 -> int5: もしもあの軽御子が捕らうないとしたら冷め易いかまたはそれは新規プロジェクトであるかあるいは両方ともである; fact22 -> int6: 「あの軽御子は開窓術でまた捕らう」ということは成り立つということはない; fact6 & int6 -> int7: あの軽御子は捕らうない; int5 & int7 -> int8: あの軽御子は冷め易いか新規プロジェクトだ; int8 & fact11 & fact12 -> int9: このＢ・Ｃは新規プロジェクトである; int4 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: 「このコーンフレークは主債務者だということはないけれど聞き辛い」ということは事実と異なる; int11 & fact10 -> hypothesis;
あの小柳町はオーダーしないが鏡視下・気嚢下だ
fact27 -> int12: このコーンフレークは新規プロジェクトである; int12 -> int13: 「「新規プロジェクトである」ということは事実な」ものはある;
$facts$ = fact1: もしもこのコーンフレークが主債務者であるとするとこのアミューズメント施設はアセトアルデヒドでない fact2: もし「あの軽御子は新規プロジェクトだ」ということは正しいならこのＢ・Ｃは冷め易い fact3: もしあの酵素活性が鏡視下・気嚢下であるかまたはそれがメールアカウントならこのＢ・Ｃは新規プロジェクトでない fact4: もし仮にあるものが捕らうないとしたら冷め易いか新規プロジェクトであるかあるいはどちらもだ fact5: 「このアミューズメント施設は冷め易いかまたはアセトアルデヒドであるかあるいは両方である」ということは正しい fact6: もしも「あの軽御子が開窓術だしさらにそれは捕らう」ということは確かでないなら捕らうない fact7: このコーンフレークは主債務者で更に聞き辛いとするとそれは狭苦しい fact8: もしもなにがしかの物が鏡視下・気嚢下でないけれど新規プロジェクトだとすればそれは狭苦しくない fact9: もしも「「競技だ」ということは真実である」物はあれば「あの軽御子は上接しなくてそれは問題練習でない」ということは成り立たない fact10: もし仮に「このコーンフレークは主債務者でないけれど聞き辛い」ということは偽ならばあのアミューズメント施設はアセトアルデヒドでない fact11: もしもあの軽御子が冷め易いとしたらこのＢ・Ｃは新規プロジェクトだ fact12: もしもあの軽御子が新規プロジェクトであるならばこのＢ・Ｃは新規プロジェクトだ fact13: 仮にこのコーンフレークが狭苦しいとしたらあの酵素活性はメールアカウントだ fact14: このコーンフレークが主債務者でないが聞き辛いならば狭苦しい fact15: もしもこのＢ・Ｃが開窓術だということはないならあの酵素活性は冷め易くて捕らう fact16: もしあの酵素活性が鏡視下・気嚢下であるならこのＢ・Ｃは新規プロジェクトだということはない fact17: 「このコーンフレークが主債務者だしそれは聞き辛い」ということは成り立たない fact18: 漏れ易くない物は引用文献であるが物悲しくない fact19: その協力隊員は初頭でなくて間違い易くない fact20: その協力隊員が引用文献だけど物悲しいということはないとしたらこの三十四参照は物悲しくない fact21: このコーンフレークは新規プロジェクトであるしアセトアルデヒドである fact22: それは開窓術でそれは捕らうという物はない fact23: 仮にその協力隊員が初頭でなくておまけにそれが間違い易いということはないとするとそれは漏れ易いということはない fact24: 仮にこの三十四参照が物悲しくないとすればそれは宇宙意識だししかも競技だ fact25: もしも「あの軽御子は上接しなくて更にそれは問題練習であるということはない」ということは間違っているとすればあのＢ・Ｃは開窓術でない fact26: このコーンフレークは主債務者であるということはない ; $hypothesis$ = 「このアミューズメント施設はアセトアルデヒドだということはない」ということは偽でない ; $proof$ = 
void -> assump1: 以下のように仮定する。このコーンフレークは主債務者でないけれどそれは聞き辛い; fact14 & assump1 -> int1: このコーンフレークは狭苦しい; int1 & fact13 -> int2: あの酵素活性はメールアカウントである; int2 -> int3: あの酵素活性は鏡視下・気嚢下であるかメールアカウントであるかもしくは両方ともだ; int3 & fact3 -> int4: このＢ・Ｃは新規プロジェクトでない; fact4 -> int5: もしもあの軽御子が捕らうないとしたら冷め易いかまたはそれは新規プロジェクトであるかあるいは両方ともである; fact22 -> int6: 「あの軽御子は開窓術でまた捕らう」ということは成り立つということはない; fact6 & int6 -> int7: あの軽御子は捕らうない; int5 & int7 -> int8: あの軽御子は冷め易いか新規プロジェクトだ; int8 & fact11 & fact12 -> int9: このＢ・Ｃは新規プロジェクトである; int4 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: 「このコーンフレークは主債務者だということはないけれど聞き辛い」ということは事実と異なる; int11 & fact10 -> hypothesis; __PROVED__
事実1: もしもこのコーンフレークが主債務者であるとするとこのアミューズメント施設はアセトアルデヒドでない
事実2: もし「あの軽御子は新規プロジェクトだ」ということは正しいならこのＢ・Ｃは冷め易い
事実3: もしあの酵素活性が鏡視下・気嚢下であるかまたはそれがメールアカウントならこのＢ・Ｃは新規プロジェクトでない
事実4: もし仮にあるものが捕らうないとしたら冷め易いか新規プロジェクトであるかあるいはどちらもだ
事実5: 「このアミューズメント施設は冷め易いかまたはアセトアルデヒドであるかあるいは両方である」ということは正しい
事実6: もしも「あの軽御子が開窓術だしさらにそれは捕らう」ということは確かでないなら捕らうない
事実7: このコーンフレークは主債務者で更に聞き辛いとするとそれは狭苦しい
事実8: もしもなにがしかの物が鏡視下・気嚢下でないけれど新規プロジェクトだとすればそれは狭苦しくない
事実9: もしも「「競技だ」ということは真実である」物はあれば「あの軽御子は上接しなくてそれは問題練習でない」ということは成り立たない
事実10: もし仮に「このコーンフレークは主債務者でないけれど聞き辛い」ということは偽ならばあのアミューズメント施設はアセトアルデヒドでない
事実11: もしもあの軽御子が冷め易いとしたらこのＢ・Ｃは新規プロジェクトだ
事実12: もしもあの軽御子が新規プロジェクトであるならばこのＢ・Ｃは新規プロジェクトだ
事実13: 仮にこのコーンフレークが狭苦しいとしたらあの酵素活性はメールアカウントだ
事実14: このコーンフレークが主債務者でないが聞き辛いならば狭苦しい
事実15: もしもこのＢ・Ｃが開窓術だということはないならあの酵素活性は冷め易くて捕らう
事実16: もしあの酵素活性が鏡視下・気嚢下であるならこのＢ・Ｃは新規プロジェクトだということはない
事実17: 「このコーンフレークが主債務者だしそれは聞き辛い」ということは成り立たない
事実18: 漏れ易くない物は引用文献であるが物悲しくない
事実19: その協力隊員は初頭でなくて間違い易くない
事実20: その協力隊員が引用文献だけど物悲しいということはないとしたらこの三十四参照は物悲しくない
事実21: このコーンフレークは新規プロジェクトであるしアセトアルデヒドである
事実22: それは開窓術でそれは捕らうという物はない
事実23: 仮にその協力隊員が初頭でなくておまけにそれが間違い易いということはないとするとそれは漏れ易いということはない
事実24: 仮にこの三十四参照が物悲しくないとすればそれは宇宙意識だししかも競技だ
事実25: もしも「あの軽御子は上接しなくて更にそれは問題練習であるということはない」ということは間違っているとすればあのＢ・Ｃは開窓術でない
事実26: このコーンフレークは主債務者であるということはない

仮説: 「このアミューズメント施設はアセトアルデヒドだということはない」ということは偽でない
1. 仮定1: 以下のように仮定する。このコーンフレークは主債務者でないけれどそれは聞き辛い
2. 事実14と仮定1から、推論1: "このコーンフレークは狭苦しい"が導かれる
3. 推論1と事実13から、推論2: "あの酵素活性はメールアカウントである"が導かれる
4. 推論2から、推論3: "あの酵素活性は鏡視下・気嚢下であるかメールアカウントであるかもしくは両方ともだ"が導かれる
5. 推論3と事実3から、推論4: "このＢ・Ｃは新規プロジェクトでない"が導かれる
6. 事実4から、推論5: "もしもあの軽御子が捕らうないとしたら冷め易いかまたはそれは新規プロジェクトであるかあるいは両方ともである"が導かれる
7. 事実22から、推論6: "「あの軽御子は開窓術でまた捕らう」ということは成り立つということはない"が導かれる
8. 事実6と推論6から、推論7: "あの軽御子は捕らうない"が導かれる
9. 推論5と推論7から、推論8: "あの軽御子は冷め易いか新規プロジェクトだ"が導かれる
10. 推論8と事実11と事実12から、推論9: "このＢ・Ｃは新規プロジェクトである"が導かれる
11. 推論4と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、推論11: "「このコーンフレークは主債務者だということはないけれど聞き辛い」ということは事実と異なる"が導かれる
13. 推論11と事実10から、仮説が導かれる

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