あの健康茶はもたもたする
fact1: もしその世界遊戯が労働強化であるとしたらこの道義・温情は話し合える fact2: もしも納得し難い物がしかとだということはないとするともたもたしない fact3: 「「破顔する一方で堆くない」ということは成り立たない」ものはある fact4: 「この道義・温情はしかとで加えて納得し難い」ということは事実と異なるとすると話し合えない fact5: 「「納得し難くてしかとだ」ということは間違いな」物はある fact6: もし「この道義・温情は話し合えないしそれはレジャーランドでない」ということは間違っているとしたら「その世界遊戯は話し合えない」ということは成り立つ fact7: 「あの健康茶は納得し難いしまたしかとである」ということは成り立つということはない fact8: それはレジャーランドで更に読み辛いというものはない fact9: もしこの道義・温情が読み辛くないとすると話し合えない fact10: 読み辛くない物は話し合えない fact11: 仮に「「しかとで話し合えない」ということは誤っている」物があるとすればこの道義・温情は納得し難い fact12: もしも「「「納得し難くてしかとだということはない」ということは成り立たない」ものはある」ということは正しいならその世界遊戯は労働強化だ fact13: もしとある物は成功し易いけれど飽きるということはないとしたら持しない fact14: 仮にあるものがしかとだとすればその世界遊戯は労働強化である fact15: もし「なにがしかの物がレジャーランドだしさらにそれは読み辛い」ということは事実でないならば話し合えない fact16: あるものがカフェテリアだけど三道でない fact17: もし仮にある物は読み辛くないなら「それは話し合えないし更にレジャーランドでない」ということは確かでない fact18: もしも納得し難いものは労働強化であるならばレジャーランドでない
void -> assump1: 以下のように仮定する。「あの健康茶は納得し難いがしかしそれはしかとでない」ということは成り立たない; assump1 -> int1: 「「「納得し難いけれどしかとでない」ということは成り立つ」ということは誤りな」物はある; int1 & fact12 -> int2: その世界遊戯は労働強化である; int2 & fact1 -> int3: この道義・温情は話し合える; fact8 -> int4: 「この道義・温情はレジャーランドであるしまた読み辛い」ということは成り立たない; fact15 -> int5: 仮に「この道義・温情はレジャーランドでかつ読み辛い」ということは成り立つということはないとすると話し合えない; int4 & int5 -> int6: この道義・温情は話し合えない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの健康茶は納得し難いけどしかとでない; fact2 -> int9: もしあの健康茶は納得し難いけどしかとでないならばもたもたするということはない; int8 & int9 -> hypothesis;
あの健康茶はもたもたする
fact20 -> int10: 仮に「この道義・温情は読み辛くない」ということは成り立つとすれば「それは話し合えなくてかつそれはレジャーランドでない」ということは事実と異なる;
$facts$ = fact1: もしその世界遊戯が労働強化であるとしたらこの道義・温情は話し合える fact2: もしも納得し難い物がしかとだということはないとするともたもたしない fact3: 「「破顔する一方で堆くない」ということは成り立たない」ものはある fact4: 「この道義・温情はしかとで加えて納得し難い」ということは事実と異なるとすると話し合えない fact5: 「「納得し難くてしかとだ」ということは間違いな」物はある fact6: もし「この道義・温情は話し合えないしそれはレジャーランドでない」ということは間違っているとしたら「その世界遊戯は話し合えない」ということは成り立つ fact7: 「あの健康茶は納得し難いしまたしかとである」ということは成り立つということはない fact8: それはレジャーランドで更に読み辛いというものはない fact9: もしこの道義・温情が読み辛くないとすると話し合えない fact10: 読み辛くない物は話し合えない fact11: 仮に「「しかとで話し合えない」ということは誤っている」物があるとすればこの道義・温情は納得し難い fact12: もしも「「「納得し難くてしかとだということはない」ということは成り立たない」ものはある」ということは正しいならその世界遊戯は労働強化だ fact13: もしとある物は成功し易いけれど飽きるということはないとしたら持しない fact14: 仮にあるものがしかとだとすればその世界遊戯は労働強化である fact15: もし「なにがしかの物がレジャーランドだしさらにそれは読み辛い」ということは事実でないならば話し合えない fact16: あるものがカフェテリアだけど三道でない fact17: もし仮にある物は読み辛くないなら「それは話し合えないし更にレジャーランドでない」ということは確かでない fact18: もしも納得し難いものは労働強化であるならばレジャーランドでない ; $hypothesis$ = あの健康茶はもたもたする ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの健康茶は納得し難いがしかしそれはしかとでない」ということは成り立たない; assump1 -> int1: 「「「納得し難いけれどしかとでない」ということは成り立つ」ということは誤りな」物はある; int1 & fact12 -> int2: その世界遊戯は労働強化である; int2 & fact1 -> int3: この道義・温情は話し合える; fact8 -> int4: 「この道義・温情はレジャーランドであるしまた読み辛い」ということは成り立たない; fact15 -> int5: 仮に「この道義・温情はレジャーランドでかつ読み辛い」ということは成り立つということはないとすると話し合えない; int4 & int5 -> int6: この道義・温情は話し合えない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの健康茶は納得し難いけどしかとでない; fact2 -> int9: もしあの健康茶は納得し難いけどしかとでないならばもたもたするということはない; int8 & int9 -> hypothesis; __DISPROVED__
事実1: もしその世界遊戯が労働強化であるとしたらこの道義・温情は話し合える
事実2: もしも納得し難い物がしかとだということはないとするともたもたしない
事実3: 「「破顔する一方で堆くない」ということは成り立たない」ものはある
事実4: 「この道義・温情はしかとで加えて納得し難い」ということは事実と異なるとすると話し合えない
事実5: 「「納得し難くてしかとだ」ということは間違いな」物はある
事実6: もし「この道義・温情は話し合えないしそれはレジャーランドでない」ということは間違っているとしたら「その世界遊戯は話し合えない」ということは成り立つ
事実7: 「あの健康茶は納得し難いしまたしかとである」ということは成り立つということはない
事実8: それはレジャーランドで更に読み辛いというものはない
事実9: もしこの道義・温情が読み辛くないとすると話し合えない
事実10: 読み辛くない物は話し合えない
事実11: 仮に「「しかとで話し合えない」ということは誤っている」物があるとすればこの道義・温情は納得し難い
事実12: もしも「「「納得し難くてしかとだということはない」ということは成り立たない」ものはある」ということは正しいならその世界遊戯は労働強化だ
事実13: もしとある物は成功し易いけれど飽きるということはないとしたら持しない
事実14: 仮にあるものがしかとだとすればその世界遊戯は労働強化である
事実15: もし「なにがしかの物がレジャーランドだしさらにそれは読み辛い」ということは事実でないならば話し合えない
事実16: あるものがカフェテリアだけど三道でない
事実17: もし仮にある物は読み辛くないなら「それは話し合えないし更にレジャーランドでない」ということは確かでない
事実18: もしも納得し難いものは労働強化であるならばレジャーランドでない

仮説: あの健康茶はもたもたする
1. 仮定1: 以下のように仮定する。「あの健康茶は納得し難いがしかしそれはしかとでない」ということは成り立たない
2. 仮定1から、推論1: "「「「納得し難いけれどしかとでない」ということは成り立つ」ということは誤りな」物はある"が導かれる
3. 推論1と事実12から、推論2: "その世界遊戯は労働強化である"が導かれる
4. 推論2と事実1から、推論3: "この道義・温情は話し合える"が導かれる
5. 事実8から、推論4: "「この道義・温情はレジャーランドであるしまた読み辛い」ということは成り立たない"が導かれる
6. 事実15から、推論5: "仮に「この道義・温情はレジャーランドでかつ読み辛い」ということは成り立つということはないとすると話し合えない"が導かれる
7. 推論4と推論5から、推論6: "この道義・温情は話し合えない"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "あの健康茶は納得し難いけどしかとでない"が導かれる
10. 事実2から、推論9: "もしあの健康茶は納得し難いけどしかとでないならばもたもたするということはない"が導かれる
11. 推論8と推論9から、仮説が否定される

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