あの溜めは言い難い
fact1: もし仮にあの溜めは検索条件であるとしたらそれは御若い fact2: もしもとある物が夜鷹でまた言い難いとしたら「それは捕まえ易くない」ということは成り立つ fact3: もしも「あの溜めは申告しないかそれは甘辛くないかまたは両方である」ということは誤りであるとしたら榕江行きである fact4: 仮にその租税等は忘れ難くないかまたは生まれ持つかまたは両方ともであるとするとチーフエンジニアである fact5: もしなんらかのものが申告しないならばそれは木曜日でない fact6: もし「このクラッシュドアイスは摘出手術でないしアスファルト面でない」ということは本当であるとしたら「この決選投票は摘出手術でない」ということは真実である fact7: もしこの決選投票が木曜日でないかあるいはそれが捕まえ易いか両方であるならばあの溜めは木曜日だ fact8: 仮にあの溜めが捕まえ易くないならそれは申告する fact9: あの溜めは摘出手術でない fact10: 甘辛いものは申告しないかあるいは捕まえ易くないかもしくは両方ともである fact11: 榕江行きは摘出手術である fact12: もしあるものは捕まえ易いということはないなら「申告しないかもしくはそれは甘辛くないかまたは両方だ」ということは成り立たない fact13: この決選投票が摘出手術でないとすればあの溜めが甘辛いしその上それは榕江行きである fact14: もし仮に「なにがしかの物は夜鷹である一方で言い難くない」ということは間違っているとすると言い難い fact15: 仮にこの決選投票が木曜日であるならあの溜めは夜鷹だ fact16: この決選投票は木曜日だ fact17: 「その租税等は忘れ難くないかまたはそれは生まれ持つかあるいは両方ともだ」ということは誤っていない fact18: あの溜めはカウンセリング室だ fact19: なんらかの物は木曜日でないならば「それは夜鷹だが言い難くない」ということは成り立たない
fact15 & fact16 -> int1: あの溜めは夜鷹である; void -> assump1: 以下のように仮定する。あの溜めは言い難い; int1 & assump1 -> int2: あの溜めは夜鷹であるし加えてそれは言い難い; fact2 -> int3: あの溜めが夜鷹だしかつそれが言い難いなら捕まえ易くない; int2 & int3 -> int4: あの溜めは捕まえ易いということはない; fact12 -> int5: 仮にあの溜めは捕まえ易くないなら「申告しないかそれは甘辛くないかまたはどちらもである」ということは嘘だ; int4 & int5 -> int6: 「あの溜めは申告しないかもしくは甘辛くない」ということは誤っている; int6 & fact3 -> int7: あの溜めは榕江行きだ; fact11 -> int8: 「仮にあの溜めが榕江行きならばあの溜めは摘出手術だ」ということは正しい; int7 & int8 -> int9: あの溜めは摘出手術だ; int9 & fact9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis;
あの溜めは言い難い
fact24 -> int11: もし「あの溜めは夜鷹だがしかし言い難くない」ということは偽であるとしたらそれは言い難い; fact25 -> int12: もしもあの溜めは木曜日だということはないとすれば「それは夜鷹である一方で言い難くない」ということは成り立たない; fact22 -> int13: もしあの溜めが甘辛いとすると申告しないかあるいは捕まえ易くない; fact20 & fact26 -> int14: その租税等はチーフエンジニアである; int14 -> int15: なにがしかのものはチーフエンジニアである; fact23 -> int16: もし仮にあの溜めが申告するということはないなら木曜日でない;
$facts$ = fact1: もし仮にあの溜めは検索条件であるとしたらそれは御若い fact2: もしもとある物が夜鷹でまた言い難いとしたら「それは捕まえ易くない」ということは成り立つ fact3: もしも「あの溜めは申告しないかそれは甘辛くないかまたは両方である」ということは誤りであるとしたら榕江行きである fact4: 仮にその租税等は忘れ難くないかまたは生まれ持つかまたは両方ともであるとするとチーフエンジニアである fact5: もしなんらかのものが申告しないならばそれは木曜日でない fact6: もし「このクラッシュドアイスは摘出手術でないしアスファルト面でない」ということは本当であるとしたら「この決選投票は摘出手術でない」ということは真実である fact7: もしこの決選投票が木曜日でないかあるいはそれが捕まえ易いか両方であるならばあの溜めは木曜日だ fact8: 仮にあの溜めが捕まえ易くないならそれは申告する fact9: あの溜めは摘出手術でない fact10: 甘辛いものは申告しないかあるいは捕まえ易くないかもしくは両方ともである fact11: 榕江行きは摘出手術である fact12: もしあるものは捕まえ易いということはないなら「申告しないかもしくはそれは甘辛くないかまたは両方だ」ということは成り立たない fact13: この決選投票が摘出手術でないとすればあの溜めが甘辛いしその上それは榕江行きである fact14: もし仮に「なにがしかの物は夜鷹である一方で言い難くない」ということは間違っているとすると言い難い fact15: 仮にこの決選投票が木曜日であるならあの溜めは夜鷹だ fact16: この決選投票は木曜日だ fact17: 「その租税等は忘れ難くないかまたはそれは生まれ持つかあるいは両方ともだ」ということは誤っていない fact18: あの溜めはカウンセリング室だ fact19: なんらかの物は木曜日でないならば「それは夜鷹だが言い難くない」ということは成り立たない ; $hypothesis$ = あの溜めは言い難い ; $proof$ = 
fact15 & fact16 -> int1: あの溜めは夜鷹である; void -> assump1: 以下のように仮定する。あの溜めは言い難い; int1 & assump1 -> int2: あの溜めは夜鷹であるし加えてそれは言い難い; fact2 -> int3: あの溜めが夜鷹だしかつそれが言い難いなら捕まえ易くない; int2 & int3 -> int4: あの溜めは捕まえ易いということはない; fact12 -> int5: 仮にあの溜めは捕まえ易くないなら「申告しないかそれは甘辛くないかまたはどちらもである」ということは嘘だ; int4 & int5 -> int6: 「あの溜めは申告しないかもしくは甘辛くない」ということは誤っている; int6 & fact3 -> int7: あの溜めは榕江行きだ; fact11 -> int8: 「仮にあの溜めが榕江行きならばあの溜めは摘出手術だ」ということは正しい; int7 & int8 -> int9: あの溜めは摘出手術だ; int9 & fact9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis; __DISPROVED__
事実1: もし仮にあの溜めは検索条件であるとしたらそれは御若い
事実2: もしもとある物が夜鷹でまた言い難いとしたら「それは捕まえ易くない」ということは成り立つ
事実3: もしも「あの溜めは申告しないかそれは甘辛くないかまたは両方である」ということは誤りであるとしたら榕江行きである
事実4: 仮にその租税等は忘れ難くないかまたは生まれ持つかまたは両方ともであるとするとチーフエンジニアである
事実5: もしなんらかのものが申告しないならばそれは木曜日でない
事実6: もし「このクラッシュドアイスは摘出手術でないしアスファルト面でない」ということは本当であるとしたら「この決選投票は摘出手術でない」ということは真実である
事実7: もしこの決選投票が木曜日でないかあるいはそれが捕まえ易いか両方であるならばあの溜めは木曜日だ
事実8: 仮にあの溜めが捕まえ易くないならそれは申告する
事実9: あの溜めは摘出手術でない
事実10: 甘辛いものは申告しないかあるいは捕まえ易くないかもしくは両方ともである
事実11: 榕江行きは摘出手術である
事実12: もしあるものは捕まえ易いということはないなら「申告しないかもしくはそれは甘辛くないかまたは両方だ」ということは成り立たない
事実13: この決選投票が摘出手術でないとすればあの溜めが甘辛いしその上それは榕江行きである
事実14: もし仮に「なにがしかの物は夜鷹である一方で言い難くない」ということは間違っているとすると言い難い
事実15: 仮にこの決選投票が木曜日であるならあの溜めは夜鷹だ
事実16: この決選投票は木曜日だ
事実17: 「その租税等は忘れ難くないかまたはそれは生まれ持つかあるいは両方ともだ」ということは誤っていない
事実18: あの溜めはカウンセリング室だ
事実19: なんらかの物は木曜日でないならば「それは夜鷹だが言い難くない」ということは成り立たない

仮説: あの溜めは言い難い
1. 事実15と事実16から、推論1: "あの溜めは夜鷹である"が導かれる
2. 仮定1: 以下のように仮定する。あの溜めは言い難い
3. 推論1と仮定1から、推論2: "あの溜めは夜鷹であるし加えてそれは言い難い"が導かれる
4. 事実2から、推論3: "あの溜めが夜鷹だしかつそれが言い難いなら捕まえ易くない"が導かれる
5. 推論2と推論3から、推論4: "あの溜めは捕まえ易いということはない"が導かれる
6. 事実12から、推論5: "仮にあの溜めは捕まえ易くないなら「申告しないかそれは甘辛くないかまたはどちらもである」ということは嘘だ"が導かれる
7. 推論4と推論5から、推論6: "「あの溜めは申告しないかもしくは甘辛くない」ということは誤っている"が導かれる
8. 推論6と事実3から、推論7: "あの溜めは榕江行きだ"が導かれる
9. 事実11から、推論8: "「仮にあの溜めが榕江行きならばあの溜めは摘出手術だ」ということは正しい"が導かれる
10. 推論7と推論8から、推論9: "あの溜めは摘出手術だ"が導かれる
11. 推論9と事実9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、仮説が否定される

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