この産地直送は崩し易くない
fact1: もしもこのシェーカーが閉鎖空間だということはないならばこの高圧は底深くないけれど崩し易い fact2: 仮にこの高圧はごっついしその上居辛いならば「閉鎖空間である」ということは成り立つ fact3: もしもあの帝国軍人が示唆しないかもしくは天盛りであるかあるいはどちらもならこの居間は示唆しない fact4: 仮に「この高圧はごっつかないがしかし居辛い」ということは成り立たないとすればこの産地直送はプル・バックする fact5: この高圧はごっつかない fact6: もしもこの産地直送がプル・バックするかもしくは味わい深いかまたは両方ともだとすると崩し易くない fact7: もし仮になんらかの物は味わい深いとすると「それがプル・バックするしその上それは突き込まない」ということは成り立たない fact8: その予想為替レートは突き込まない fact9: この高圧はごっつかない一方で居辛いとすれば閉鎖空間である fact10: 仮に「なにかは手際良くないけれど転び易い」ということは成り立たないならばそれは手際良い fact11: 仮にこの居間は示唆しないとすれば「それが手際良くないしさらに転び易い」ということは嘘である fact12: もしも「この高圧は閉鎖空間だ」ということは真実ならそれは底深い fact13: ある物がプル・バックしないならばそれは突き込まないか閉鎖空間であるかまたはどちらもだ fact14: この高圧は突き込まない fact15: 「この高圧はごっついし居辛い」ということは本当でない fact16: 仮になにかは底深いなら「労働者・職員である」ということは確かである fact17: 手際良いものは味わい深い fact18: もしもこの高圧が底深くない一方で崩し易いとするとこの産地直送は崩し易い fact19: もしもこの高圧が底深いならばそれは突き込む fact20: この産地直送が味わい深いとしたらそれは崩し易いということはない fact21: 仮に「「この高圧は手際良くなくて味わい深くない」ということは誤りだ」ということは事実だとするとプル・バックしない
void -> assump1: 以下のように仮定する。この高圧はごっつかないけど居辛い; fact9 & assump1 -> int1: この高圧は閉鎖空間だ; int1 & fact12 -> int2: この高圧は底深い; int2 & fact19 -> int3: この高圧は突き込む; int3 & fact14 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「この高圧はごっついということはないけれど居辛い」ということは偽である; int5 & fact4 -> int6: この産地直送はプル・バックする; int6 -> int7: この産地直送はプル・バックするかもしくはそれは味わい深い; int7 & fact6 -> hypothesis;
あの冷水病は労働者・職員であるかもしくは崩し易いかどちらもだ
fact24 -> int8: もしあの冷水病が底深いならそれは労働者・職員だ; fact22 -> int9: 仮にこの高圧がプル・バックしないとしたら突き込まないかもしくは閉鎖空間であるかまたはどちらもである;
$facts$ = fact1: もしもこのシェーカーが閉鎖空間だということはないならばこの高圧は底深くないけれど崩し易い fact2: 仮にこの高圧はごっついしその上居辛いならば「閉鎖空間である」ということは成り立つ fact3: もしもあの帝国軍人が示唆しないかもしくは天盛りであるかあるいはどちらもならこの居間は示唆しない fact4: 仮に「この高圧はごっつかないがしかし居辛い」ということは成り立たないとすればこの産地直送はプル・バックする fact5: この高圧はごっつかない fact6: もしもこの産地直送がプル・バックするかもしくは味わい深いかまたは両方ともだとすると崩し易くない fact7: もし仮になんらかの物は味わい深いとすると「それがプル・バックするしその上それは突き込まない」ということは成り立たない fact8: その予想為替レートは突き込まない fact9: この高圧はごっつかない一方で居辛いとすれば閉鎖空間である fact10: 仮に「なにかは手際良くないけれど転び易い」ということは成り立たないならばそれは手際良い fact11: 仮にこの居間は示唆しないとすれば「それが手際良くないしさらに転び易い」ということは嘘である fact12: もしも「この高圧は閉鎖空間だ」ということは真実ならそれは底深い fact13: ある物がプル・バックしないならばそれは突き込まないか閉鎖空間であるかまたはどちらもだ fact14: この高圧は突き込まない fact15: 「この高圧はごっついし居辛い」ということは本当でない fact16: 仮になにかは底深いなら「労働者・職員である」ということは確かである fact17: 手際良いものは味わい深い fact18: もしもこの高圧が底深くない一方で崩し易いとするとこの産地直送は崩し易い fact19: もしもこの高圧が底深いならばそれは突き込む fact20: この産地直送が味わい深いとしたらそれは崩し易いということはない fact21: 仮に「「この高圧は手際良くなくて味わい深くない」ということは誤りだ」ということは事実だとするとプル・バックしない ; $hypothesis$ = この産地直送は崩し易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。この高圧はごっつかないけど居辛い; fact9 & assump1 -> int1: この高圧は閉鎖空間だ; int1 & fact12 -> int2: この高圧は底深い; int2 & fact19 -> int3: この高圧は突き込む; int3 & fact14 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「この高圧はごっついということはないけれど居辛い」ということは偽である; int5 & fact4 -> int6: この産地直送はプル・バックする; int6 -> int7: この産地直送はプル・バックするかもしくはそれは味わい深い; int7 & fact6 -> hypothesis; __PROVED__
事実1: もしもこのシェーカーが閉鎖空間だということはないならばこの高圧は底深くないけれど崩し易い
事実2: 仮にこの高圧はごっついしその上居辛いならば「閉鎖空間である」ということは成り立つ
事実3: もしもあの帝国軍人が示唆しないかもしくは天盛りであるかあるいはどちらもならこの居間は示唆しない
事実4: 仮に「この高圧はごっつかないがしかし居辛い」ということは成り立たないとすればこの産地直送はプル・バックする
事実5: この高圧はごっつかない
事実6: もしもこの産地直送がプル・バックするかもしくは味わい深いかまたは両方ともだとすると崩し易くない
事実7: もし仮になんらかの物は味わい深いとすると「それがプル・バックするしその上それは突き込まない」ということは成り立たない
事実8: その予想為替レートは突き込まない
事実9: この高圧はごっつかない一方で居辛いとすれば閉鎖空間である
事実10: 仮に「なにかは手際良くないけれど転び易い」ということは成り立たないならばそれは手際良い
事実11: 仮にこの居間は示唆しないとすれば「それが手際良くないしさらに転び易い」ということは嘘である
事実12: もしも「この高圧は閉鎖空間だ」ということは真実ならそれは底深い
事実13: ある物がプル・バックしないならばそれは突き込まないか閉鎖空間であるかまたはどちらもだ
事実14: この高圧は突き込まない
事実15: 「この高圧はごっついし居辛い」ということは本当でない
事実16: 仮になにかは底深いなら「労働者・職員である」ということは確かである
事実17: 手際良いものは味わい深い
事実18: もしもこの高圧が底深くない一方で崩し易いとするとこの産地直送は崩し易い
事実19: もしもこの高圧が底深いならばそれは突き込む
事実20: この産地直送が味わい深いとしたらそれは崩し易いということはない
事実21: 仮に「「この高圧は手際良くなくて味わい深くない」ということは誤りだ」ということは事実だとするとプル・バックしない

仮説: この産地直送は崩し易くない
1. 仮定1: 以下のように仮定する。この高圧はごっつかないけど居辛い
2. 事実9と仮定1から、推論1: "この高圧は閉鎖空間だ"が導かれる
3. 推論1と事実12から、推論2: "この高圧は底深い"が導かれる
4. 推論2と事実19から、推論3: "この高圧は突き込む"が導かれる
5. 推論3と事実14から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「この高圧はごっついということはないけれど居辛い」ということは偽である"が導かれる
7. 推論5と事実4から、推論6: "この産地直送はプル・バックする"が導かれる
8. 推論6から、推論7: "この産地直送はプル・バックするかもしくはそれは味わい深い"が導かれる
9. 推論7と事実6から、仮説が導かれる

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