あの東洋メタライジングは増え続けない
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: もしこのバルメン宣言が一服するということはないとするとあの東洋メタライジングは一服するということはないししかも馬鹿らしくない fact26: もし仮にこのバルメン宣言が増え続けないとしたらあの東洋メタライジングは増え続けない
fact16 -> int1: この心地はめぼしいということはない一方で揉み立てるなら「それは嘲笑するということはない」ということは成り立つ; void -> assump1: 以下のように仮定する。この心地はめぼしくないがしかし揉み立てる; int1 & assump1 -> int2: この心地は嘲笑しない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この心地はめぼしくないがしかし揉み立てる」ということは間違いだ; int4 & fact21 -> int5: このバルメン宣言は一服しない; int5 & fact25 -> int6: あの東洋メタライジングは一服しなくて馬鹿らしくない; int6 & fact20 -> hypothesis;
あの東洋メタライジングは増え続けない
fact29 -> int7: もしもあの内表紙は理解し難いなら「それは研究授業だ」ということは正しい; fact33 -> int8: もしもあの内表紙が消さないならそれは被り直すし更にそれは理解し難い; fact30 -> int9: そのレイアウト枠が設計製造であるとすると取り組み易くないかそれは糖尿病性腎不全患者であるかあるいは両方である; int9 & fact34 -> int10: そのレイアウト枠は取り組み易いということはないかもしくは糖尿病性腎不全患者であるか両方ともである; fact35 & int10 -> int11: あの内表紙は物珍しい; fact31 & int11 -> int12: あの内表紙は消さない; int8 & int12 -> int13: あの内表紙は被り直すしおまけに理解し難い; int13 -> int14: あの内表紙は理解し難い; int7 & int14 -> int15: あの内表紙は研究授業である; int15 -> int16: とある物は研究授業である; int16 & fact28 -> int17: 「その受給は馬鹿らしいということはないがしかし嘲笑する」ということは偽だ;
$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: もしこのバルメン宣言が一服するということはないとするとあの東洋メタライジングは一服するということはないししかも馬鹿らしくない fact26: もし仮にこのバルメン宣言が増え続けないとしたらあの東洋メタライジングは増え続けない ; $hypothesis$ = あの東洋メタライジングは増え続けない ; $proof$ = 
fact16 -> int1: この心地はめぼしいということはない一方で揉み立てるなら「それは嘲笑するということはない」ということは成り立つ; void -> assump1: 以下のように仮定する。この心地はめぼしくないがしかし揉み立てる; int1 & assump1 -> int2: この心地は嘲笑しない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この心地はめぼしくないがしかし揉み立てる」ということは間違いだ; int4 & fact21 -> int5: このバルメン宣言は一服しない; int5 & fact25 -> int6: あの東洋メタライジングは一服しなくて馬鹿らしくない; int6 & fact20 -> 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: もしこのバルメン宣言が一服するということはないとするとあの東洋メタライジングは一服するということはないししかも馬鹿らしくない
事実26: もし仮にこのバルメン宣言が増え続けないとしたらあの東洋メタライジングは増え続けない

仮説: あの東洋メタライジングは増え続けない
1. 事実16から、推論1: "この心地はめぼしいということはない一方で揉み立てるなら「それは嘲笑するということはない」ということは成り立つ"が導かれる
2. 仮定1: 以下のように仮定する。この心地はめぼしくないがしかし揉み立てる
3. 推論1と仮定1から、推論2: "この心地は嘲笑しない"が導かれる
4. 推論2と事実3から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「この心地はめぼしくないがしかし揉み立てる」ということは間違いだ"が導かれる
6. 推論4と事実21から、推論5: "このバルメン宣言は一服しない"が導かれる
7. 推論5と事実25から、推論6: "あの東洋メタライジングは一服しなくて馬鹿らしくない"が導かれる
8. 推論6と事実20から、仮説が否定される

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