この十日民集は北枕でない
fact1: 仮になんらかのものが北枕ならこの十日民集は与し易いということはない fact2: 「セクトである」物はある fact3: もし仮に「その捻出は晴れがましいか与し易くない」ということは誤っているとすればあの十日民集はＮＭＤＡ受容体複合体だ fact4: もしも「その捻出はＮＭＤＡ受容体複合体であるか晴れがましいということはないかもしくはどちらもだ」ということは事実でないとするとこの十日民集は北枕だ fact5: その捻出は観察し易い fact6: もし仮になにかは結束しないなら「与し易いがＮＭＤＡ受容体複合体でない」ということは偽だ fact7: ＮＭＤＡ受容体複合体が晴れがましいということはないならそれはセクトでない fact8: 仮にその捻出が観察し易いとしたらそのシステム管理ツールはＮＭＤＡ受容体複合体だ fact9: なにかはセクトでないとすると「それは晴れがましいしさらに北枕だ」ということは間違いである fact10: 仮にこの日本ＩＢＭが晴れはましくらないとすると「その捻出は晴れがましいかもしくは与し易くないかどちらもだ」ということは間違っている fact11: この十日民集はＮＭＤＡ受容体複合体であるならそれは北枕である fact12: 「セクトである」物があるならこの日本ＩＢＭは晴れがましいということはない fact13: もしその捻出が目地ならば結束しない
fact2 & fact12 -> int1: この日本ＩＢＭは晴れがましかない; int1 & fact10 -> int2: 「その捻出は晴れがましいか与し易くないかもしくは両方である」ということは本当でない; int2 & fact3 -> int3: この十日民集はＮＭＤＡ受容体複合体である; int3 & fact11 -> hypothesis;
この十日民集は北枕でない
fact15 -> int4: もしこの日本ＩＢＭはセクトでないとすると「晴れがましいし北枕である」ということは成り立つということはない; fact14 -> int5: 仮にその捻出は結束しないとすると「与し易いがしかしＮＭＤＡ受容体複合体でない」ということは成り立たない;
$facts$ = fact1: 仮になんらかのものが北枕ならこの十日民集は与し易いということはない fact2: 「セクトである」物はある fact3: もし仮に「その捻出は晴れがましいか与し易くない」ということは誤っているとすればあの十日民集はＮＭＤＡ受容体複合体だ fact4: もしも「その捻出はＮＭＤＡ受容体複合体であるか晴れがましいということはないかもしくはどちらもだ」ということは事実でないとするとこの十日民集は北枕だ fact5: その捻出は観察し易い fact6: もし仮になにかは結束しないなら「与し易いがＮＭＤＡ受容体複合体でない」ということは偽だ fact7: ＮＭＤＡ受容体複合体が晴れがましいということはないならそれはセクトでない fact8: 仮にその捻出が観察し易いとしたらそのシステム管理ツールはＮＭＤＡ受容体複合体だ fact9: なにかはセクトでないとすると「それは晴れがましいしさらに北枕だ」ということは間違いである fact10: 仮にこの日本ＩＢＭが晴れはましくらないとすると「その捻出は晴れがましいかもしくは与し易くないかどちらもだ」ということは間違っている fact11: この十日民集はＮＭＤＡ受容体複合体であるならそれは北枕である fact12: 「セクトである」物があるならこの日本ＩＢＭは晴れがましいということはない fact13: もしその捻出が目地ならば結束しない ; $hypothesis$ = この十日民集は北枕でない ; $proof$ = 
fact2 & fact12 -> int1: この日本ＩＢＭは晴れがましかない; int1 & fact10 -> int2: 「その捻出は晴れがましいか与し易くないかもしくは両方である」ということは本当でない; int2 & fact3 -> int3: この十日民集はＮＭＤＡ受容体複合体である; int3 & fact11 -> hypothesis; __DISPROVED__
事実1: 仮になんらかのものが北枕ならこの十日民集は与し易いということはない
事実2: 「セクトである」物はある
事実3: もし仮に「その捻出は晴れがましいか与し易くない」ということは誤っているとすればあの十日民集はＮＭＤＡ受容体複合体だ
事実4: もしも「その捻出はＮＭＤＡ受容体複合体であるか晴れがましいということはないかもしくはどちらもだ」ということは事実でないとするとこの十日民集は北枕だ
事実5: その捻出は観察し易い
事実6: もし仮になにかは結束しないなら「与し易いがＮＭＤＡ受容体複合体でない」ということは偽だ
事実7: ＮＭＤＡ受容体複合体が晴れがましいということはないならそれはセクトでない
事実8: 仮にその捻出が観察し易いとしたらそのシステム管理ツールはＮＭＤＡ受容体複合体だ
事実9: なにかはセクトでないとすると「それは晴れがましいしさらに北枕だ」ということは間違いである
事実10: 仮にこの日本ＩＢＭが晴れはましくらないとすると「その捻出は晴れがましいかもしくは与し易くないかどちらもだ」ということは間違っている
事実11: この十日民集はＮＭＤＡ受容体複合体であるならそれは北枕である
事実12: 「セクトである」物があるならこの日本ＩＢＭは晴れがましいということはない
事実13: もしその捻出が目地ならば結束しない

仮説: この十日民集は北枕でない
1. 事実2と事実12から、推論1: "この日本ＩＢＭは晴れがましかない"が導かれる
2. 推論1と事実10から、推論2: "「その捻出は晴れがましいか与し易くないかもしくは両方である」ということは本当でない"が導かれる
3. 推論2と事実3から、推論3: "この十日民集はＮＭＤＡ受容体複合体である"が導かれる
4. 推論3と事実11から、仮説が否定される

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