あの筆算双六はだらける
fact1: あの筆算双六は腹黒い fact2: このＫＥＮは腹黒い fact3: もしも「この大帝国は理解する」ということは誤りでないとしたら「それは四十二年度だが移り易くない」ということは誤りである fact4: もし仮に「移り易くない」物はあるとすれば「このハナクラブは理解するしかつ据える」ということは成り立たない fact5: もしあるものが冷やさないとすると起こし易くないしおまけにだらけない fact6: もし仮にこのＫＥＮが起こし易いけどだらけないとするとあの筆算双六はだらける fact7: 「「だらけるかもしくは腹黒くないかどちらもである」ということは誤りな」物はある fact8: 仮に「この大帝国は四十二年度だがしかし移り易いということはない」ということは偽だとしたらあの断ち方は四十二年度だ fact9: 「「据えるかあるいは冷やしないかあるいは両方だ」ということは事実と異なる」物はある fact10: もしもとある物が冷やさないとすればサービス利用であるし腹黒い fact11: この景ちゃんは美々しかない fact12: もしこの景ちゃんは美々しかないなら「それは商業テナントビルでないけど移り易い」ということは間違いである fact13: もし「「据えるかもしくは冷やさない」ということは成り立たない」物があるとしたらあの断ち方はサービス利用でない fact14: もしあの筆算双六が腹黒いけれどそれがサービス利用でないとしたらその緊急内視鏡検査はサービス利用でない fact15: もし仮にあの断ち方が腹黒いならばこのＫＥＮは起こし易いがだらけない fact16: もし「この景ちゃんは商業テナントビルでないが移り易い」ということは誤りであるとすれば移り易くない fact17: もし仮に何らかの物が商業テナントビルなら理解する fact18: もしなにかは据えないとするとそれは冷やすかもしくは四十二年度であるかもしくは両方ともだ fact19: 仮に「「理解するしさらに据える」ということは成り立たない」物はあるとしたら「この大帝国は据えない」ということは成り立つ fact20: もし仮に「あの筆算双六はだらけるしおまけに腹黒い」ということは本当ならこのＫＥＮは起こし易くない fact21: このＫＥＮがだらけないとするとあの筆算双六は腹黒いけどサービス利用でない fact22: 「「起こし易いかサービス利用であるかもしくは両方だ」ということは成り立たない」物はある fact23: もし仮にこのＫＥＮは起こし易くないならば「あの断ち方はサービス利用である」ということは事実である fact24: この大帝国は商業テナントビルだ
void -> assump1: 以下のように仮定する。あの筆算双六はだらける; assump1 & fact1 -> int1: あの筆算双六はだらけるし腹黒い; int1 & fact20 -> int2: このＫＥＮは起こし易くない; int2 & fact23 -> int3: あの断ち方はサービス利用だ; fact9 & fact13 -> int4: あの断ち方はサービス利用でない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
その緊急内視鏡検査はサービス利用でない
fact25 -> int6: もしもこのＫＥＮが冷やさないとしたらそれは起こし易くないしまただらけない; fact30 -> int7: 「この大帝国は商業テナントビルである」ということは確かであるとすると理解する; int7 & fact29 -> int8: この大帝国は理解する; fact26 & int8 -> int9: 「この大帝国は四十二年度であるけれど移り易いということはない」ということは嘘だ; fact31 & int9 -> int10: 「あの断ち方は四十二年度だ」ということは本当だ;
$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: この大帝国は商業テナントビルだ ; $hypothesis$ = あの筆算双六はだらける ; $proof$ = 
void -> assump1: 以下のように仮定する。あの筆算双六はだらける; assump1 & fact1 -> int1: あの筆算双六はだらけるし腹黒い; int1 & fact20 -> int2: このＫＥＮは起こし易くない; int2 & fact23 -> int3: あの断ち方はサービス利用だ; fact9 & fact13 -> int4: あの断ち方はサービス利用でない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> 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: この大帝国は商業テナントビルだ

仮説: あの筆算双六はだらける
1. 仮定1: 以下のように仮定する。あの筆算双六はだらける
2. 仮定1と事実1から、推論1: "あの筆算双六はだらけるし腹黒い"が導かれる
3. 推論1と事実20から、推論2: "このＫＥＮは起こし易くない"が導かれる
4. 推論2と事実23から、推論3: "あの断ち方はサービス利用だ"が導かれる
5. 事実9と事実13から、推論4: "あの断ち方はサービス利用でない"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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