「このハンチは溶かし出すしそれは治療セッションだ」ということは成り立たない
fact1: 「このハンチは借り易いかまたはそれは解剖しないかもしくはどちらもである」ということは成り立つということはない fact2: 「このハンチは引き籠もるかもしくは解剖しないかもしくは両方である」ということは偽である fact3: そのロマノフ王朝は解剖する fact4: 仮に何らかのものが抜きん出ないとしたら中毒するしおまけにそれは分泌型である fact5: 「「あの惚気話は解剖するけれど儚くない」ということは事実だ」ということは嘘だ fact6: このハンチは解剖する fact7: もし仮に「その救急病院は注文致すか染み入らない」ということは成り立たないとしたらそれは控訴理由だ fact8: もし「このハンチは溶かし出すかあるいは苛々し易くない」ということは本当だということはないとするとそれはマクロだ fact9: 「このハンチはクライアント側だけれどそれは治療セッションだということはない」ということは誤っている fact10: 「もしも「このハンチは引き籠もるかまたはそれは解剖するかあるいはどちらもだ」ということは成り立たないとしたらこのハンチは溶かし出す」ということは成り立つ fact11: もし仮にこの月経異常は治療セッションだということはないとしたら「このハンチは愚かしいが解剖しない」ということは成り立たない fact12: もし「この月経異常は分泌型である一方でクライアント側でない」ということは誤りだとすると「このハンチはクライアント側だ」ということは間違っている fact13: 「このハンチはクライアント側だしその上治療セッションである」ということは成り立たない fact14: このハンチは招来する fact15: あの工場夜景は抜きん出ないけど示せる fact16: 仮になにがしかの物は中毒しないとすれば「それは分泌型であるしそれはクライアント側でない」ということは成り立たない fact17: もし仮に「このハンチは引き籠もるか解剖しないかもしくは両方である」ということは間違っているとすると「溶かし出す」ということは成り立つ fact18: 「このハンチはクライアント側であるけれど治療セッションでない」ということは偽であるならば治療セッションである fact19: 分泌型は溶かし出さないし加えてクライアント側でない
fact17 & fact2 -> int1: このハンチは溶かし出す; fact18 & fact9 -> int2: このハンチは治療セッションである; int1 & int2 -> hypothesis;
fact17 & fact2 -> int1: {B}{a}; fact18 & fact9 -> int2: {A}{a}; int1 & int2 -> hypothesis;
「このハンチは溶かし出すしそれに治療セッションである」ということは確かであるということはない
fact21 -> int3: もしもこの月経異常は中毒するということはないなら「それが分泌型だしまたそれはクライアント側でない」ということは成り立つということはない;
$facts$ = fact1: 「このハンチは借り易いかまたはそれは解剖しないかもしくはどちらもである」ということは成り立つということはない fact2: 「このハンチは引き籠もるかもしくは解剖しないかもしくは両方である」ということは偽である fact3: そのロマノフ王朝は解剖する fact4: 仮に何らかのものが抜きん出ないとしたら中毒するしおまけにそれは分泌型である fact5: 「「あの惚気話は解剖するけれど儚くない」ということは事実だ」ということは嘘だ fact6: このハンチは解剖する fact7: もし仮に「その救急病院は注文致すか染み入らない」ということは成り立たないとしたらそれは控訴理由だ fact8: もし「このハンチは溶かし出すかあるいは苛々し易くない」ということは本当だということはないとするとそれはマクロだ fact9: 「このハンチはクライアント側だけれどそれは治療セッションだということはない」ということは誤っている fact10: 「もしも「このハンチは引き籠もるかまたはそれは解剖するかあるいはどちらもだ」ということは成り立たないとしたらこのハンチは溶かし出す」ということは成り立つ fact11: もし仮にこの月経異常は治療セッションだということはないとしたら「このハンチは愚かしいが解剖しない」ということは成り立たない fact12: もし「この月経異常は分泌型である一方でクライアント側でない」ということは誤りだとすると「このハンチはクライアント側だ」ということは間違っている fact13: 「このハンチはクライアント側だしその上治療セッションである」ということは成り立たない fact14: このハンチは招来する fact15: あの工場夜景は抜きん出ないけど示せる fact16: 仮になにがしかの物は中毒しないとすれば「それは分泌型であるしそれはクライアント側でない」ということは成り立たない fact17: もし仮に「このハンチは引き籠もるか解剖しないかもしくは両方である」ということは間違っているとすると「溶かし出す」ということは成り立つ fact18: 「このハンチはクライアント側であるけれど治療セッションでない」ということは偽であるならば治療セッションである fact19: 分泌型は溶かし出さないし加えてクライアント側でない ; $hypothesis$ = 「このハンチは溶かし出すしそれは治療セッションだ」ということは成り立たない ; $proof$ = 
fact17 & fact2 -> int1: このハンチは溶かし出す; fact18 & fact9 -> int2: このハンチは治療セッションである; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「このハンチは借り易いかまたはそれは解剖しないかもしくはどちらもである」ということは成り立つということはない
事実2: 「このハンチは引き籠もるかもしくは解剖しないかもしくは両方である」ということは偽である
事実3: そのロマノフ王朝は解剖する
事実4: 仮に何らかのものが抜きん出ないとしたら中毒するしおまけにそれは分泌型である
事実5: 「「あの惚気話は解剖するけれど儚くない」ということは事実だ」ということは嘘だ
事実6: このハンチは解剖する
事実7: もし仮に「その救急病院は注文致すか染み入らない」ということは成り立たないとしたらそれは控訴理由だ
事実8: もし「このハンチは溶かし出すかあるいは苛々し易くない」ということは本当だということはないとするとそれはマクロだ
事実9: 「このハンチはクライアント側だけれどそれは治療セッションだということはない」ということは誤っている
事実10: 「もしも「このハンチは引き籠もるかまたはそれは解剖するかあるいはどちらもだ」ということは成り立たないとしたらこのハンチは溶かし出す」ということは成り立つ
事実11: もし仮にこの月経異常は治療セッションだということはないとしたら「このハンチは愚かしいが解剖しない」ということは成り立たない
事実12: もし「この月経異常は分泌型である一方でクライアント側でない」ということは誤りだとすると「このハンチはクライアント側だ」ということは間違っている
事実13: 「このハンチはクライアント側だしその上治療セッションである」ということは成り立たない
事実14: このハンチは招来する
事実15: あの工場夜景は抜きん出ないけど示せる
事実16: 仮になにがしかの物は中毒しないとすれば「それは分泌型であるしそれはクライアント側でない」ということは成り立たない
事実17: もし仮に「このハンチは引き籠もるか解剖しないかもしくは両方である」ということは間違っているとすると「溶かし出す」ということは成り立つ
事実18: 「このハンチはクライアント側であるけれど治療セッションでない」ということは偽であるならば治療セッションである
事実19: 分泌型は溶かし出さないし加えてクライアント側でない

仮説: 「このハンチは溶かし出すしそれは治療セッションだ」ということは成り立たない
1. 事実17と事実2から、推論1: "このハンチは溶かし出す"が導かれる
2. 事実18と事実9から、推論2: "このハンチは治療セッションである"が導かれる
3. 推論1と推論2から、仮説が否定される

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