その保冷剤は立て難いが蹴散らさない
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: 仮に「この卵黄は破れ難くないがしかし甘辛い」ということは成り立つということはないとしたらあのハンカチーフは皮肉っぽいということはない
void -> assump1: 以下のように仮定する。その保冷剤は立て難いがしかし蹴散らすということはない; fact7 & assump1 -> int1: その保冷剤は掃き清める; fact3 -> int2: 仮にその保冷剤が掃き清めるなら破れ難い; int1 & int2 -> int3: その保冷剤は破れ難い; int3 & fact20 -> int4: 「この卵黄は破れ難くないがそれは甘辛い」ということは誤りである; int4 & fact25 -> int5: 「あのハンカチーフは皮肉っぽくない」ということは正しい; int5 & fact11 -> int6: その洋風居酒屋は変質するがしかしそれは混同し易くない; int6 & fact13 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
「その保冷剤は立て難いけれど蹴散らさない」ということは事実である
fact26 & fact27 -> int8: その洋風居酒屋は立て難い; fact28 & int8 -> int9: この卵黄は立て難い;
$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: 仮に「この卵黄は破れ難くないがしかし甘辛い」ということは成り立つということはないとしたらあのハンカチーフは皮肉っぽいということはない ; $hypothesis$ = その保冷剤は立て難いが蹴散らさない ; $proof$ = 
void -> assump1: 以下のように仮定する。その保冷剤は立て難いがしかし蹴散らすということはない; fact7 & assump1 -> int1: その保冷剤は掃き清める; fact3 -> int2: 仮にその保冷剤が掃き清めるなら破れ難い; int1 & int2 -> int3: その保冷剤は破れ難い; int3 & fact20 -> int4: 「この卵黄は破れ難くないがそれは甘辛い」ということは誤りである; int4 & fact25 -> int5: 「あのハンカチーフは皮肉っぽくない」ということは正しい; int5 & fact11 -> int6: その洋風居酒屋は変質するがしかしそれは混同し易くない; int6 & fact13 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __DISPROVED__
事実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: 仮に「この卵黄は破れ難くないがしかし甘辛い」ということは成り立つということはないとしたらあのハンカチーフは皮肉っぽいということはない

仮説: その保冷剤は立て難いが蹴散らさない
1. 仮定1: 以下のように仮定する。その保冷剤は立て難いがしかし蹴散らすということはない
2. 事実7と仮定1から、推論1: "その保冷剤は掃き清める"が導かれる
3. 事実3から、推論2: "仮にその保冷剤が掃き清めるなら破れ難い"が導かれる
4. 推論1と推論2から、推論3: "その保冷剤は破れ難い"が導かれる
5. 推論3と事実20から、推論4: "「この卵黄は破れ難くないがそれは甘辛い」ということは誤りである"が導かれる
6. 推論4と事実25から、推論5: "「あのハンカチーフは皮肉っぽくない」ということは正しい"が導かれる
7. 推論5と事実11から、推論6: "その洋風居酒屋は変質するがしかしそれは混同し易くない"が導かれる
8. 推論6と事実13から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が否定される

よって、仮説が否定されました。