そのオプション取り引きは社外取り締まり役でない
fact1: その連関が海洋民族ならばそのサブミクロンは隠匿する fact2: 圧迫は役らしいということはない fact3: その連関はＮＯＴである fact4: 「そのサブミクロンは圧迫である」ということは正しい fact5: 「その連関はＮＯＴである」ということは成り立つとしたらそれは海洋民族だ fact6: もしもパノラマ式ランドスケープＡ型が母性的人物ならそのサブミクロンは忝い fact7: もしもなにがしかのものがパノラマ式ランドスケープＡ型であるということはない一方で母性的人物ならばあのサブミクロンは忝い fact8: そのサブミクロンが震わせないけれど隠匿するとすればあのオプション取り引きは社外取り締まり役だ fact9: もし仮に忝い物が役らしくないとしたら震わせない fact10: その締まり屋はパノラマ式ランドスケープＡ型でないけど母性的人物である
fact10 -> int1: 何らかの物はパノラマ式ランドスケープＡ型でないがしかし母性的人物だ; int1 & fact7 -> int2: そのサブミクロンは忝い; fact2 -> int3: もしそのサブミクロンが圧迫ならば役らしくない; fact4 & int3 -> int4: そのサブミクロンは役らしくない; int2 & int4 -> int5: そのサブミクロンは忝いがしかし役らしくない; fact9 -> int6: 「そのサブミクロンが忝いが役らしくないとしたらそのサブミクロンは震わせない」ということは成り立つ; int5 & int6 -> int7: そのサブミクロンは震わせるということはない; fact3 & fact5 -> int8: その連関は海洋民族である; int8 & fact1 -> int9: そのサブミクロンは隠匿する; int7 & int9 -> int10: そのサブミクロンは震わせないけど隠匿する; int10 & fact8 -> hypothesis;
$facts$ = fact1: その連関が海洋民族ならばそのサブミクロンは隠匿する fact2: 圧迫は役らしいということはない fact3: その連関はＮＯＴである fact4: 「そのサブミクロンは圧迫である」ということは正しい fact5: 「その連関はＮＯＴである」ということは成り立つとしたらそれは海洋民族だ fact6: もしもパノラマ式ランドスケープＡ型が母性的人物ならそのサブミクロンは忝い fact7: もしもなにがしかのものがパノラマ式ランドスケープＡ型であるということはない一方で母性的人物ならばあのサブミクロンは忝い fact8: そのサブミクロンが震わせないけれど隠匿するとすればあのオプション取り引きは社外取り締まり役だ fact9: もし仮に忝い物が役らしくないとしたら震わせない fact10: その締まり屋はパノラマ式ランドスケープＡ型でないけど母性的人物である ; $hypothesis$ = そのオプション取り引きは社外取り締まり役でない ; $proof$ = 
fact10 -> int1: 何らかの物はパノラマ式ランドスケープＡ型でないがしかし母性的人物だ; int1 & fact7 -> int2: そのサブミクロンは忝い; fact2 -> int3: もしそのサブミクロンが圧迫ならば役らしくない; fact4 & int3 -> int4: そのサブミクロンは役らしくない; int2 & int4 -> int5: そのサブミクロンは忝いがしかし役らしくない; fact9 -> int6: 「そのサブミクロンが忝いが役らしくないとしたらそのサブミクロンは震わせない」ということは成り立つ; int5 & int6 -> int7: そのサブミクロンは震わせるということはない; fact3 & fact5 -> int8: その連関は海洋民族である; int8 & fact1 -> int9: そのサブミクロンは隠匿する; int7 & int9 -> int10: そのサブミクロンは震わせないけど隠匿する; int10 & fact8 -> hypothesis; __DISPROVED__
事実1: その連関が海洋民族ならばそのサブミクロンは隠匿する
事実2: 圧迫は役らしいということはない
事実3: その連関はＮＯＴである
事実4: 「そのサブミクロンは圧迫である」ということは正しい
事実5: 「その連関はＮＯＴである」ということは成り立つとしたらそれは海洋民族だ
事実6: もしもパノラマ式ランドスケープＡ型が母性的人物ならそのサブミクロンは忝い
事実7: もしもなにがしかのものがパノラマ式ランドスケープＡ型であるということはない一方で母性的人物ならばあのサブミクロンは忝い
事実8: そのサブミクロンが震わせないけれど隠匿するとすればあのオプション取り引きは社外取り締まり役だ
事実9: もし仮に忝い物が役らしくないとしたら震わせない
事実10: その締まり屋はパノラマ式ランドスケープＡ型でないけど母性的人物である

仮説: そのオプション取り引きは社外取り締まり役でない
1. 事実10から、推論1: "何らかの物はパノラマ式ランドスケープＡ型でないがしかし母性的人物だ"が導かれる
2. 推論1と事実7から、推論2: "そのサブミクロンは忝い"が導かれる
3. 事実2から、推論3: "もしそのサブミクロンが圧迫ならば役らしくない"が導かれる
4. 事実4と推論3から、推論4: "そのサブミクロンは役らしくない"が導かれる
5. 推論2と推論4から、推論5: "そのサブミクロンは忝いがしかし役らしくない"が導かれる
6. 事実9から、推論6: "「そのサブミクロンが忝いが役らしくないとしたらそのサブミクロンは震わせない」ということは成り立つ"が導かれる
7. 推論5と推論6から、推論7: "そのサブミクロンは震わせるということはない"が導かれる
8. 事実3と事実5から、推論8: "その連関は海洋民族である"が導かれる
9. 推論8と事実1から、推論9: "そのサブミクロンは隠匿する"が導かれる
10. 推論7と推論9から、推論10: "そのサブミクロンは震わせないけど隠匿する"が導かれる
11. 推論10と事実8から、仮説が否定される

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