「この女探偵は忝くない一方で塩鉱だ」ということは成り立たない
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: その金蔓は塩鉱だということはない
fact4 -> int1: もしこの生産販売は廃棄物でないならば落選する; void -> assump1: 以下のように仮定する。この生産販売は廃棄物でない; int1 & assump1 -> int2: 「この生産販売は落選する」ということは成り立つ; int2 & fact11 -> int3: これは矛盾である; [assump1] & int3 -> int4: この生産販売は廃棄物である; int4 & fact10 -> int5: 「この女探偵は廃棄物である一方で深炒り豆でない」ということは間違っている; fact2 -> int6: もし「この女探偵が廃棄物だけどそれは深炒り豆でない」ということは成り立たないとしたら結成しない; int5 & int6 -> int7: この女探偵は結成するということはない; fact5 -> int8: この女探偵が結成するということはないとすると忝くないし塩鉱だ; int7 & int8 -> hypothesis;
「この女探偵は忝くないけれど塩鉱である」ということは成り立たない
$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: その金蔓は塩鉱だということはない ; $hypothesis$ = 「この女探偵は忝くない一方で塩鉱だ」ということは成り立たない ; $proof$ = 
fact4 -> int1: もしこの生産販売は廃棄物でないならば落選する; void -> assump1: 以下のように仮定する。この生産販売は廃棄物でない; int1 & assump1 -> int2: 「この生産販売は落選する」ということは成り立つ; int2 & fact11 -> int3: これは矛盾である; [assump1] & int3 -> int4: この生産販売は廃棄物である; int4 & fact10 -> int5: 「この女探偵は廃棄物である一方で深炒り豆でない」ということは間違っている; fact2 -> int6: もし「この女探偵が廃棄物だけどそれは深炒り豆でない」ということは成り立たないとしたら結成しない; int5 & int6 -> int7: この女探偵は結成するということはない; fact5 -> int8: この女探偵が結成するということはないとすると忝くないし塩鉱だ; int7 & int8 -> 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: その金蔓は塩鉱だということはない

仮説: 「この女探偵は忝くない一方で塩鉱だ」ということは成り立たない
1. 事実4から、推論1: "もしこの生産販売は廃棄物でないならば落選する"が導かれる
2. 仮定1: 以下のように仮定する。この生産販売は廃棄物でない
3. 推論1と仮定1から、推論2: "「この生産販売は落選する」ということは成り立つ"が導かれる
4. 推論2と事実11から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この生産販売は廃棄物である"が導かれる
6. 推論4と事実10から、推論5: "「この女探偵は廃棄物である一方で深炒り豆でない」ということは間違っている"が導かれる
7. 事実2から、推論6: "もし「この女探偵が廃棄物だけどそれは深炒り豆でない」ということは成り立たないとしたら結成しない"が導かれる
8. 推論5と推論6から、推論7: "この女探偵は結成するということはない"が導かれる
9. 事実5から、推論8: "この女探偵が結成するということはないとすると忝くないし塩鉱だ"が導かれる
10. 推論7と推論8から、仮説が否定される

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