その恨み言が意識不明だしそれに粘っこい
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: 以下のように仮定する。「その補充は呪わしいがしかし薄ら寒くない」ということは成り立つということはない; fact4 & assump1 -> int1: その補充は同傾向でない; fact14 & fact1 -> int2: その補充は同傾向だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その補充は呪わしい一方で薄ら寒くない; int4 -> int5: 呪わしくて薄ら寒くないものはある; int5 & fact17 -> int6: このジューサーは粘っこくない; int6 & fact15 -> hypothesis;
「その恨み言は意識不明でかつ粘っこい」ということは誤りだ
fact34 -> int7: もしもその恨み言は同傾向でないとしたら「意識不明だし粘っこい」ということは誤っている; fact27 -> int8: もし仮にその補充は下ろし易くないとすると「御聞かせするがしかし軍人らしくない」ということは偽だ; fact26 -> int9: もしこのジューサーが湿気易いとしたら一掃する; fact35 -> int10: もし仮にあの試作機が還付するとすると詳しい; fact32 -> int11: あの試作機が喜ばしいとしたらそれは還付する; fact37 -> int12: あの試作機は御構い無いけれど引き払わないとしたらそれは喜ばしい; fact36 & fact29 & fact28 -> int13: あの試作機は秀麗さんだ; fact33 & int13 -> int14: あの試作機は巻き直す; fact31 & int14 -> int15: あの試作機は御構い無いがしかし引き払わない; int12 & int15 -> int16: あの試作機は喜ばしい; int11 & int16 -> int17: あの試作機は還付する; int10 & int17 -> int18: あの試作機は詳しい; fact30 & int18 -> int19: このジューサーは湿気易い; int9 & int19 -> int20: このジューサーは一掃する; fact38 & int20 -> int21: その補充は下ろし易くない; int8 & int21 -> int22: 「その補充は御聞かせする一方で軍人らしいということはない」ということは誤っている; int22 -> int23: 「「御聞かせするし軍人らしくない」ということは事実と異なる」物はある;
$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: 以下のように仮定する。「その補充は呪わしいがしかし薄ら寒くない」ということは成り立つということはない; fact4 & assump1 -> int1: その補充は同傾向でない; fact14 & fact1 -> int2: その補充は同傾向だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その補充は呪わしい一方で薄ら寒くない; int4 -> int5: 呪わしくて薄ら寒くないものはある; int5 & fact17 -> int6: このジューサーは粘っこくない; int6 & fact15 -> hypothesis; __PROVED__
事実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. 事実4と仮定1から、推論1: "その補充は同傾向でない"が導かれる
3. 事実14と事実1から、推論2: "その補充は同傾向だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その補充は呪わしい一方で薄ら寒くない"が導かれる
6. 推論4から、推論5: "呪わしくて薄ら寒くないものはある"が導かれる
7. 推論5と事実17から、推論6: "このジューサーは粘っこくない"が導かれる
8. 推論6と事実15から、仮説が導かれる

よって、仮説が証明されました。