その地域限定は生産・販売するけれどそれは狭苦しくない
fact1: もし「三郡でない」ものがあればこの地回りは寝入る fact2: あのスラックスは悩む fact3: この地回りが嫁するとすればその地域限定は生産・販売する fact4: 仮に「あのスラックスは三郡でない一方で狭苦しい」ということは本当でないならばあの地域限定は狭苦しくない fact5: 仮になにがしかの物は三郡だとしたら「寝入らなくて加えてそれは嫁しない」ということは成り立たない fact6: この常人等は悩む fact7: 仮にこの福島支局は狭苦しいとすると「その地域限定は生産・販売するけど狭苦しくない」ということは誤りである fact8: あのスラックスは三郡だとしたら「嫁する」ということは本当である fact9: もしもあのスラックスが悩むとしたらそれは嫁しない fact10: もしもこの地回りが寝入ればこの福島支局は狭苦しい
void -> assump1: 以下のように仮定する。あのスラックスは三郡だ; fact8 & assump1 -> int1: あのスラックスは嫁する; fact2 & fact9 -> int2: 「あのスラックスは嫁するということはない」ということは間違いでない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのスラックスは三郡でない; int4 -> int5: 「三郡でない」物はある; int5 & fact1 -> int6: この地回りは寝入る; int6 & fact10 -> int7: この福島支局は狭苦しい; int7 & fact7 -> hypothesis;
この地回りは嫁しない
fact11 -> int8: もしもこの福島支局は三郡だとしたら「それは寝入らないしそれは嫁しない」ということは偽である;
$facts$ = fact1: もし「三郡でない」ものがあればこの地回りは寝入る fact2: あのスラックスは悩む fact3: この地回りが嫁するとすればその地域限定は生産・販売する fact4: 仮に「あのスラックスは三郡でない一方で狭苦しい」ということは本当でないならばあの地域限定は狭苦しくない fact5: 仮になにがしかの物は三郡だとしたら「寝入らなくて加えてそれは嫁しない」ということは成り立たない fact6: この常人等は悩む fact7: 仮にこの福島支局は狭苦しいとすると「その地域限定は生産・販売するけど狭苦しくない」ということは誤りである fact8: あのスラックスは三郡だとしたら「嫁する」ということは本当である fact9: もしもあのスラックスが悩むとしたらそれは嫁しない fact10: もしもこの地回りが寝入ればこの福島支局は狭苦しい ; $hypothesis$ = その地域限定は生産・販売するけれどそれは狭苦しくない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのスラックスは三郡だ; fact8 & assump1 -> int1: あのスラックスは嫁する; fact2 & fact9 -> int2: 「あのスラックスは嫁するということはない」ということは間違いでない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのスラックスは三郡でない; int4 -> int5: 「三郡でない」物はある; int5 & fact1 -> int6: この地回りは寝入る; int6 & fact10 -> int7: この福島支局は狭苦しい; int7 & fact7 -> hypothesis; __DISPROVED__
事実1: もし「三郡でない」ものがあればこの地回りは寝入る
事実2: あのスラックスは悩む
事実3: この地回りが嫁するとすればその地域限定は生産・販売する
事実4: 仮に「あのスラックスは三郡でない一方で狭苦しい」ということは本当でないならばあの地域限定は狭苦しくない
事実5: 仮になにがしかの物は三郡だとしたら「寝入らなくて加えてそれは嫁しない」ということは成り立たない
事実6: この常人等は悩む
事実7: 仮にこの福島支局は狭苦しいとすると「その地域限定は生産・販売するけど狭苦しくない」ということは誤りである
事実8: あのスラックスは三郡だとしたら「嫁する」ということは本当である
事実9: もしもあのスラックスが悩むとしたらそれは嫁しない
事実10: もしもこの地回りが寝入ればこの福島支局は狭苦しい

仮説: その地域限定は生産・販売するけれどそれは狭苦しくない
1. 仮定1: 以下のように仮定する。あのスラックスは三郡だ
2. 事実8と仮定1から、推論1: "あのスラックスは嫁する"が導かれる
3. 事実2と事実9から、推論2: "「あのスラックスは嫁するということはない」ということは間違いでない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あのスラックスは三郡でない"が導かれる
6. 推論4から、推論5: "「三郡でない」物はある"が導かれる
7. 推論5と事実1から、推論6: "この地回りは寝入る"が導かれる
8. 推論6と事実10から、推論7: "この福島支局は狭苦しい"が導かれる
9. 推論7と事実7から、仮説が否定される

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