「そのメーリングは思念でないし倍しない」ということは成り立たない
fact1: 仮に何らかのものが感慨深くないとするとこの山中他界は東京地判昭であるか船渡しでない fact2: このチタン製が彼等形ならその上昇運は倍する fact3: 仮になにかは秋めくとすれば感慨深くないけどタブー視する fact4: 「このチタン製は居辛い」ということは成り立つならこの山中他界は文字数だけれど続日本後記でない fact5: もしも「何かは思念だしそれは男の子らしい」ということは成り立たないならそれは文字数でない fact6: もしもこの山中他界は居辛いけど続日本後記でないならそれは彼等形でない fact7: もしこのチタン製は文字数でないとしたら「そのメーリングは思念だが倍しない」ということは誤りだ fact8: 「この山中他界は居辛い」ということは正しい fact9: もしこのチタン製が文字数であるとするとこの山中他界は居辛いけど続日本後記でない fact10: 「そのメーリングは思念である一方で倍しない」ということは成り立たない fact11: もしも妖精物語が思い易いということはないとするとそのメーリングは三月以降だ fact12: この食養法は文字数である fact13: もしなにかは東京地判昭であるかもしくは船渡しでないとすれば船渡しでない fact14: 仮に「何らかのものは船渡しでない」ということは成り立つとすれば「それは思念だし男の子らしい」ということは成り立たない fact15: もしそのメーリングは三月以降であるとすると秋めく fact16: もしこのチタン製は文字数でないとしたら「そのメーリングは思念だということはないしまた倍しない」ということは誤りである fact17: この山中他界は彼等形だ fact18: 「そのメーリングは男の子らしいかあるいは彼等形でないかもしくは両方ともだ」ということは成り立たないとすると思念でない fact19: もしこの山中他界が文字数でないならこのチタン製は彼等形であるかまたはそれは倍する fact20: 何らかの物は妖精物語だ一方で思い易くない
void -> assump1: 以下のように仮定する。このチタン製は文字数だ; fact9 & assump1 -> int1: この山中他界は居辛いがしかしそれは続日本後記でない; int1 & fact6 -> int2: この山中他界は彼等形でない; int2 & fact17 -> int3: これは矛盾である; [assump1] & int3 -> int4: このチタン製は文字数だということはない; int4 & fact16 -> hypothesis;
そのメーリングは思念でなくて加えて倍しない
$facts$ = fact1: 仮に何らかのものが感慨深くないとするとこの山中他界は東京地判昭であるか船渡しでない fact2: このチタン製が彼等形ならその上昇運は倍する fact3: 仮になにかは秋めくとすれば感慨深くないけどタブー視する fact4: 「このチタン製は居辛い」ということは成り立つならこの山中他界は文字数だけれど続日本後記でない fact5: もしも「何かは思念だしそれは男の子らしい」ということは成り立たないならそれは文字数でない fact6: もしもこの山中他界は居辛いけど続日本後記でないならそれは彼等形でない fact7: もしこのチタン製は文字数でないとしたら「そのメーリングは思念だが倍しない」ということは誤りだ fact8: 「この山中他界は居辛い」ということは正しい fact9: もしこのチタン製が文字数であるとするとこの山中他界は居辛いけど続日本後記でない fact10: 「そのメーリングは思念である一方で倍しない」ということは成り立たない fact11: もしも妖精物語が思い易いということはないとするとそのメーリングは三月以降だ fact12: この食養法は文字数である fact13: もしなにかは東京地判昭であるかもしくは船渡しでないとすれば船渡しでない fact14: 仮に「何らかのものは船渡しでない」ということは成り立つとすれば「それは思念だし男の子らしい」ということは成り立たない fact15: もしそのメーリングは三月以降であるとすると秋めく fact16: もしこのチタン製は文字数でないとしたら「そのメーリングは思念だということはないしまた倍しない」ということは誤りである fact17: この山中他界は彼等形だ fact18: 「そのメーリングは男の子らしいかあるいは彼等形でないかもしくは両方ともだ」ということは成り立たないとすると思念でない fact19: もしこの山中他界が文字数でないならこのチタン製は彼等形であるかまたはそれは倍する fact20: 何らかの物は妖精物語だ一方で思い易くない ; $hypothesis$ = 「そのメーリングは思念でないし倍しない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。このチタン製は文字数だ; fact9 & assump1 -> int1: この山中他界は居辛いがしかしそれは続日本後記でない; int1 & fact6 -> int2: この山中他界は彼等形でない; int2 & fact17 -> int3: これは矛盾である; [assump1] & int3 -> int4: このチタン製は文字数だということはない; int4 & fact16 -> hypothesis; __PROVED__
事実1: 仮に何らかのものが感慨深くないとするとこの山中他界は東京地判昭であるか船渡しでない
事実2: このチタン製が彼等形ならその上昇運は倍する
事実3: 仮になにかは秋めくとすれば感慨深くないけどタブー視する
事実4: 「このチタン製は居辛い」ということは成り立つならこの山中他界は文字数だけれど続日本後記でない
事実5: もしも「何かは思念だしそれは男の子らしい」ということは成り立たないならそれは文字数でない
事実6: もしもこの山中他界は居辛いけど続日本後記でないならそれは彼等形でない
事実7: もしこのチタン製は文字数でないとしたら「そのメーリングは思念だが倍しない」ということは誤りだ
事実8: 「この山中他界は居辛い」ということは正しい
事実9: もしこのチタン製が文字数であるとするとこの山中他界は居辛いけど続日本後記でない
事実10: 「そのメーリングは思念である一方で倍しない」ということは成り立たない
事実11: もしも妖精物語が思い易いということはないとするとそのメーリングは三月以降だ
事実12: この食養法は文字数である
事実13: もしなにかは東京地判昭であるかもしくは船渡しでないとすれば船渡しでない
事実14: 仮に「何らかのものは船渡しでない」ということは成り立つとすれば「それは思念だし男の子らしい」ということは成り立たない
事実15: もしそのメーリングは三月以降であるとすると秋めく
事実16: もしこのチタン製は文字数でないとしたら「そのメーリングは思念だということはないしまた倍しない」ということは誤りである
事実17: この山中他界は彼等形だ
事実18: 「そのメーリングは男の子らしいかあるいは彼等形でないかもしくは両方ともだ」ということは成り立たないとすると思念でない
事実19: もしこの山中他界が文字数でないならこのチタン製は彼等形であるかまたはそれは倍する
事実20: 何らかの物は妖精物語だ一方で思い易くない

仮説: 「そのメーリングは思念でないし倍しない」ということは成り立たない
1. 仮定1: 以下のように仮定する。このチタン製は文字数だ
2. 事実9と仮定1から、推論1: "この山中他界は居辛いがしかしそれは続日本後記でない"が導かれる
3. 推論1と事実6から、推論2: "この山中他界は彼等形でない"が導かれる
4. 推論2と事実17から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "このチタン製は文字数だということはない"が導かれる
6. 推論4と事実16から、仮説が導かれる

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