「このリズム楽器は注力するしそれは吉国幹事だ」ということは誤っている
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: このリズム楽器は注力するし更に低用量ピルだ
fact17 -> int1: その蒼龍が秩序化しないとすれば癒し難くない; void -> assump1: 以下のように仮定する。その蒼龍は秩序化しない; int1 & assump1 -> int2: その蒼龍は癒し難いということはない; int2 & fact8 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その蒼龍は秩序化する」ということは正しい; int4 & fact16 -> int5: このリズム楽器は赤黒い; int5 & fact2 -> int6: このリズム楽器は算定する; int6 & fact4 -> int7: このリズム楽器は吉国幹事である; fact25 -> int8: このリズム楽器は注力する; int7 & int8 -> hypothesis;
その末尾母音は吉国幹事である
fact31 -> int9: もしその末尾母音が秩序化しないとしたらそれが吉国幹事だしその上それは赤黒い; fact26 -> int10: もし「その末尾母音は癒し難い」ということは成り立つということはないとするとそれは秩序化しない; fact27 -> int11: 「この禁固以上はバッファバーでない」ということは確かならば算定するしまたそれは低用量ピルでない;
$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$ = 
fact17 -> int1: その蒼龍が秩序化しないとすれば癒し難くない; void -> assump1: 以下のように仮定する。その蒼龍は秩序化しない; int1 & assump1 -> int2: その蒼龍は癒し難いということはない; int2 & fact8 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その蒼龍は秩序化する」ということは正しい; int4 & fact16 -> int5: このリズム楽器は赤黒い; int5 & fact2 -> int6: このリズム楽器は算定する; int6 & fact4 -> int7: このリズム楽器は吉国幹事である; fact25 -> int8: このリズム楽器は注力する; int7 & int8 -> 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. 事実17から、推論1: "その蒼龍が秩序化しないとすれば癒し難くない"が導かれる
2. 仮定1: 以下のように仮定する。その蒼龍は秩序化しない
3. 推論1と仮定1から、推論2: "その蒼龍は癒し難いということはない"が導かれる
4. 推論2と事実8から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「その蒼龍は秩序化する」ということは正しい"が導かれる
6. 推論4と事実16から、推論5: "このリズム楽器は赤黒い"が導かれる
7. 推論5と事実2から、推論6: "このリズム楽器は算定する"が導かれる
8. 推論6と事実4から、推論7: "このリズム楽器は吉国幹事である"が導かれる
9. 事実25から、推論8: "このリズム楽器は注力する"が導かれる
10. 推論7と推論8から、仮説が否定される

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