その居住地域は指令しない
fact1: もしその緑肥作物が指令しないけどＰＴＨであるならばその居住地域は指令するということはない fact2: 「あの腺は骨端軟骨であるということはない」ということは真実だ fact3: その居住地域は家計支出である fact4: この中小企業労働力確保法は倉庫証券である fact5: もしも「あるものは家計支出である一方でそれは放下でない」ということは成り立つということはないとするとそれは月刊でない fact6: もしあの腺が生温かくないとしたらそれは住み始める fact7: 生温かいということはないものは住み始める fact8: 拙いものは倉庫証券であるかあるいは生温かくない fact9: もしこの中小企業労働力確保法は当然視しないならその緑肥作物はきつくないしその上腫れぼったくない fact10: もしその交戦が当然視するということはないが巻きするならこの中小企業労働力確保法は当然視するということはない fact11: 生温かいということはないものは指令しないがしかしＰＴＨだ fact12: もし「あの税引き前は月刊である」ということは間違っていればその交戦は当然視しないがしかし巻きする fact13: 生温かくないものは住み始めるし骨端軟骨である fact14: 何かは倉庫証券であるかあるいはそれは生温かくないかあるいはどちらもであるとするとそれは生温かくない fact15: 「あの腺は住み始める」ということは本当だ fact16: 「その費用は指令する」ということは事実である fact17: もし仮にこの天蓋付きは小銭だとすれば「あの税引き前は家計支出であるが放下でない」ということは間違いである fact18: もしもあの腺は生温かいならば「その居住地域は指令する」ということは成り立つ fact19: きつかないものは拙くて陶冶する fact20: もしもその緑肥作物が生温かいということはなくて更にＰＴＨでないならばあの居住地域は指令しない
fact13 -> int1: あの腺が生温かくないとすれば住み始めるしその上骨端軟骨だ; void -> assump1: 以下のように仮定する。あの腺は生温かいということはない; int1 & assump1 -> int2: あの腺は住み始めるし更に骨端軟骨だ; int2 -> int3: あの腺は骨端軟骨だ; int3 & fact2 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの腺は生温かい」ということは成り立つ; int5 & fact18 -> hypothesis;
その居住地域は指令しない
$facts$ = fact1: もしその緑肥作物が指令しないけどＰＴＨであるならばその居住地域は指令するということはない fact2: 「あの腺は骨端軟骨であるということはない」ということは真実だ fact3: その居住地域は家計支出である fact4: この中小企業労働力確保法は倉庫証券である fact5: もしも「あるものは家計支出である一方でそれは放下でない」ということは成り立つということはないとするとそれは月刊でない fact6: もしあの腺が生温かくないとしたらそれは住み始める fact7: 生温かいということはないものは住み始める fact8: 拙いものは倉庫証券であるかあるいは生温かくない fact9: もしこの中小企業労働力確保法は当然視しないならその緑肥作物はきつくないしその上腫れぼったくない fact10: もしその交戦が当然視するということはないが巻きするならこの中小企業労働力確保法は当然視するということはない fact11: 生温かいということはないものは指令しないがしかしＰＴＨだ fact12: もし「あの税引き前は月刊である」ということは間違っていればその交戦は当然視しないがしかし巻きする fact13: 生温かくないものは住み始めるし骨端軟骨である fact14: 何かは倉庫証券であるかあるいはそれは生温かくないかあるいはどちらもであるとするとそれは生温かくない fact15: 「あの腺は住み始める」ということは本当だ fact16: 「その費用は指令する」ということは事実である fact17: もし仮にこの天蓋付きは小銭だとすれば「あの税引き前は家計支出であるが放下でない」ということは間違いである fact18: もしもあの腺は生温かいならば「その居住地域は指令する」ということは成り立つ fact19: きつかないものは拙くて陶冶する fact20: もしもその緑肥作物が生温かいということはなくて更にＰＴＨでないならばあの居住地域は指令しない ; $hypothesis$ = その居住地域は指令しない ; $proof$ = 
fact13 -> int1: あの腺が生温かくないとすれば住み始めるしその上骨端軟骨だ; void -> assump1: 以下のように仮定する。あの腺は生温かいということはない; int1 & assump1 -> int2: あの腺は住み始めるし更に骨端軟骨だ; int2 -> int3: あの腺は骨端軟骨だ; int3 & fact2 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの腺は生温かい」ということは成り立つ; int5 & fact18 -> hypothesis; __DISPROVED__
事実1: もしその緑肥作物が指令しないけどＰＴＨであるならばその居住地域は指令するということはない
事実2: 「あの腺は骨端軟骨であるということはない」ということは真実だ
事実3: その居住地域は家計支出である
事実4: この中小企業労働力確保法は倉庫証券である
事実5: もしも「あるものは家計支出である一方でそれは放下でない」ということは成り立つということはないとするとそれは月刊でない
事実6: もしあの腺が生温かくないとしたらそれは住み始める
事実7: 生温かいということはないものは住み始める
事実8: 拙いものは倉庫証券であるかあるいは生温かくない
事実9: もしこの中小企業労働力確保法は当然視しないならその緑肥作物はきつくないしその上腫れぼったくない
事実10: もしその交戦が当然視するということはないが巻きするならこの中小企業労働力確保法は当然視するということはない
事実11: 生温かいということはないものは指令しないがしかしＰＴＨだ
事実12: もし「あの税引き前は月刊である」ということは間違っていればその交戦は当然視しないがしかし巻きする
事実13: 生温かくないものは住み始めるし骨端軟骨である
事実14: 何かは倉庫証券であるかあるいはそれは生温かくないかあるいはどちらもであるとするとそれは生温かくない
事実15: 「あの腺は住み始める」ということは本当だ
事実16: 「その費用は指令する」ということは事実である
事実17: もし仮にこの天蓋付きは小銭だとすれば「あの税引き前は家計支出であるが放下でない」ということは間違いである
事実18: もしもあの腺は生温かいならば「その居住地域は指令する」ということは成り立つ
事実19: きつかないものは拙くて陶冶する
事実20: もしもその緑肥作物が生温かいということはなくて更にＰＴＨでないならばあの居住地域は指令しない

仮説: その居住地域は指令しない
1. 事実13から、推論1: "あの腺が生温かくないとすれば住み始めるしその上骨端軟骨だ"が導かれる
2. 仮定1: 以下のように仮定する。あの腺は生温かいということはない
3. 推論1と仮定1から、推論2: "あの腺は住み始めるし更に骨端軟骨だ"が導かれる
4. 推論2から、推論3: "あの腺は骨端軟骨だ"が導かれる
5. 推論3と事実2から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「あの腺は生温かい」ということは成り立つ"が導かれる
7. 推論5と事実18から、仮説が否定される

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