そのＵＮＩＸ系ＯＳは第七ビーチである
fact1: そのＵＮＩＸ系ＯＳはつっかえるということはない fact2: 「「神農本草経でないかまたは法意識でない」ということは真実でない」物はある fact3: そのＵＮＩＸ系ＯＳは考え難くない fact4: 「「離れ難くない一方で着せ掛ける」ということは成り立たない」物はある fact5: 何らかのものは離れ難くない一方でそれは着せ掛ける fact6: この糊は県病院でない fact7: もしも何らかのものが艶めかしいということはないがしかしそれがガンマニアならばそれは問答しない fact8: 「そのＵＮＩＸ系ＯＳは離れ難くない」ということは確かである fact9: 仮にそのＵＮＩＸ系ＯＳは県病院でないならばそれはつっかえない fact10: 仮に「「神農本草経でないか法意識でないかもしくは両方だ」ということは成り立たない」物があるとしたらそのソウルは添加量である fact11: もし仮に「この主体的参加はつっかえるということはない」ということは事実であるとすればあの腸管感染症は県病院であるかもしくはそれは第七ビーチであるかもしくは両方ともである fact12: もし仮に「そのＵＮＩＸ系ＯＳはサービサーでないしかつ第七ビーチでない」ということは誤っているなら「あの広角はサービサーでない」ということは成り立つ fact13: 仮に「「離れ難くないけれど着せ掛ける」ということは誤りである」ものがあるならそのＵＮＩＸ系ＯＳは県病院でない fact14: なにがしかのものが県病院でないならつっかえるということはないしその上第七ビーチでない fact15: 添加量は艶めかしくない一方でガンマニアである fact16: 「「離れ難くておまけに着せ掛ける」ということは誤りな」ものはある fact17: もしなにがしかの物は県病院でないならつっかえない fact18: そのＵＮＩＸ系ＯＳは高床式でない fact19: もし「着せ掛けない」ものがあるとするとそのＵＮＩＸ系ＯＳは県病院でない fact20: 仮になにがしかの物は県病院だとすれば「サービサーでないしさらに第七ビーチでない」ということは誤りだ fact21: 仮にそのソウルが第七ビーチであるとしたらそのＵＮＩＸ系ＯＳは第七ビーチだ
fact4 & fact13 -> int1: そのＵＮＩＸ系ＯＳは県病院でない; fact14 -> int2: そのＵＮＩＸ系ＯＳが県病院でないとしたらそれはつっかえるということはないしかつそれは第七ビーチでない; int1 & int2 -> int3: 「そのＵＮＩＸ系ＯＳはつっかえなくて加えて第七ビーチでない」ということは成り立つ; int3 -> hypothesis;
あの広角はサービサーだということはない
fact23 -> int4: もしもそのＵＮＩＸ系ＯＳは県病院であるとすると「サービサーだということはなくて更にそれは第七ビーチだということはない」ということは成り立たない; fact22 -> int5: もしもそのソウルが艶めかしくないけどガンマニアだとしたらそれは問答しない; fact25 -> int6: そのソウルは添加量であるとしたらそれは艶めかしくない一方でガンマニアである; fact24 & fact27 -> int7: そのソウルは添加量である; int6 & int7 -> int8: そのソウルは艶めかしいということはないけれどそれはガンマニアだ; int5 & int8 -> int9: そのソウルは問答しない; int9 -> int10: なんらかの物は問答しない;
$facts$ = fact1: そのＵＮＩＸ系ＯＳはつっかえるということはない fact2: 「「神農本草経でないかまたは法意識でない」ということは真実でない」物はある fact3: そのＵＮＩＸ系ＯＳは考え難くない fact4: 「「離れ難くない一方で着せ掛ける」ということは成り立たない」物はある fact5: 何らかのものは離れ難くない一方でそれは着せ掛ける fact6: この糊は県病院でない fact7: もしも何らかのものが艶めかしいということはないがしかしそれがガンマニアならばそれは問答しない fact8: 「そのＵＮＩＸ系ＯＳは離れ難くない」ということは確かである fact9: 仮にそのＵＮＩＸ系ＯＳは県病院でないならばそれはつっかえない fact10: 仮に「「神農本草経でないか法意識でないかもしくは両方だ」ということは成り立たない」物があるとしたらそのソウルは添加量である fact11: もし仮に「この主体的参加はつっかえるということはない」ということは事実であるとすればあの腸管感染症は県病院であるかもしくはそれは第七ビーチであるかもしくは両方ともである fact12: もし仮に「そのＵＮＩＸ系ＯＳはサービサーでないしかつ第七ビーチでない」ということは誤っているなら「あの広角はサービサーでない」ということは成り立つ fact13: 仮に「「離れ難くないけれど着せ掛ける」ということは誤りである」ものがあるならそのＵＮＩＸ系ＯＳは県病院でない fact14: なにがしかのものが県病院でないならつっかえるということはないしその上第七ビーチでない fact15: 添加量は艶めかしくない一方でガンマニアである fact16: 「「離れ難くておまけに着せ掛ける」ということは誤りな」ものはある fact17: もしなにがしかの物は県病院でないならつっかえない fact18: そのＵＮＩＸ系ＯＳは高床式でない fact19: もし「着せ掛けない」ものがあるとするとそのＵＮＩＸ系ＯＳは県病院でない fact20: 仮になにがしかの物は県病院だとすれば「サービサーでないしさらに第七ビーチでない」ということは誤りだ fact21: 仮にそのソウルが第七ビーチであるとしたらそのＵＮＩＸ系ＯＳは第七ビーチだ ; $hypothesis$ = そのＵＮＩＸ系ＯＳは第七ビーチである ; $proof$ = 
fact4 & fact13 -> int1: そのＵＮＩＸ系ＯＳは県病院でない; fact14 -> int2: そのＵＮＩＸ系ＯＳが県病院でないとしたらそれはつっかえるということはないしかつそれは第七ビーチでない; int1 & int2 -> int3: 「そのＵＮＩＸ系ＯＳはつっかえなくて加えて第七ビーチでない」ということは成り立つ; int3 -> hypothesis; __DISPROVED__
事実1: そのＵＮＩＸ系ＯＳはつっかえるということはない
事実2: 「「神農本草経でないかまたは法意識でない」ということは真実でない」物はある
事実3: そのＵＮＩＸ系ＯＳは考え難くない
事実4: 「「離れ難くない一方で着せ掛ける」ということは成り立たない」物はある
事実5: 何らかのものは離れ難くない一方でそれは着せ掛ける
事実6: この糊は県病院でない
事実7: もしも何らかのものが艶めかしいということはないがしかしそれがガンマニアならばそれは問答しない
事実8: 「そのＵＮＩＸ系ＯＳは離れ難くない」ということは確かである
事実9: 仮にそのＵＮＩＸ系ＯＳは県病院でないならばそれはつっかえない
事実10: 仮に「「神農本草経でないか法意識でないかもしくは両方だ」ということは成り立たない」物があるとしたらそのソウルは添加量である
事実11: もし仮に「この主体的参加はつっかえるということはない」ということは事実であるとすればあの腸管感染症は県病院であるかもしくはそれは第七ビーチであるかもしくは両方ともである
事実12: もし仮に「そのＵＮＩＸ系ＯＳはサービサーでないしかつ第七ビーチでない」ということは誤っているなら「あの広角はサービサーでない」ということは成り立つ
事実13: 仮に「「離れ難くないけれど着せ掛ける」ということは誤りである」ものがあるならそのＵＮＩＸ系ＯＳは県病院でない
事実14: なにがしかのものが県病院でないならつっかえるということはないしその上第七ビーチでない
事実15: 添加量は艶めかしくない一方でガンマニアである
事実16: 「「離れ難くておまけに着せ掛ける」ということは誤りな」ものはある
事実17: もしなにがしかの物は県病院でないならつっかえない
事実18: そのＵＮＩＸ系ＯＳは高床式でない
事実19: もし「着せ掛けない」ものがあるとするとそのＵＮＩＸ系ＯＳは県病院でない
事実20: 仮になにがしかの物は県病院だとすれば「サービサーでないしさらに第七ビーチでない」ということは誤りだ
事実21: 仮にそのソウルが第七ビーチであるとしたらそのＵＮＩＸ系ＯＳは第七ビーチだ

仮説: そのＵＮＩＸ系ＯＳは第七ビーチである
1. 事実4と事実13から、推論1: "そのＵＮＩＸ系ＯＳは県病院でない"が導かれる
2. 事実14から、推論2: "そのＵＮＩＸ系ＯＳが県病院でないとしたらそれはつっかえるということはないしかつそれは第七ビーチでない"が導かれる
3. 推論1と推論2から、推論3: "「そのＵＮＩＸ系ＯＳはつっかえなくて加えて第七ビーチでない」ということは成り立つ"が導かれる
4. 推論3から、仮説が否定される

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