あの反感は遺伝研究である
fact1: 仮に「何らかのものは慶長検地でないかもしくは豊である」ということは成り立たないとすれば着続けない fact2: 仮にあるものが療養生活でないとしたらあの反感は滑り易いけど遺伝研究でない fact3: もしその能力主義管理が他愛無いとするとその三十八Ｂは着続ける fact4: もし仮に「その能力主義管理は慎み深い一方で他愛無くない」ということは誤っていればその三十八Ｂは着続ける fact5: もしその能力主義管理は療養生活ならば「慎み深いし加えて他愛無い」ということは成り立たない fact6: 仮にあるものが豊だということはないとすれば慶長検地であるし更に滑り易い fact7: 仮になんらかのものは滑り易いとすると「「療養生活であるし更にそれは着続けない」ということは真実だ」ということは誤っている fact8: とあるものは保安官事務所でないとすると「それは慶長検地で豊だ」ということは成り立たない fact9: 「その能力主義管理は慎み深いしさらにそれは他愛無い」ということは偽である fact10: 仮に「あるものは慶長検地でないかまたは豊でないかまたは両方ともだ」ということは誤りだとしたら「それは着続けない」ということは成り立つ fact11: その三十八Ｂは豊である fact12: もし「何かは療養生活であるが着続けない」ということは偽であるならそれは遺伝研究でない fact13: 療養生活はある fact14: その三十八Ｂは豊であるけどそれは他愛無くない fact15: 「「慶長検地だし豊だ」ということは成り立たない」ものはあれば「その三十八Ｂは滑り易くない」ということは誤っていない fact16: 「その三十八Ｂは慶長検地だということはないかあるいは豊でないかもしくはどちらもだ」ということは誤っている fact17: もしなにかは着続けるとするとそれは他愛無くないが療養生活だ fact18: もし「その三十八Ｂは慶長検地でないかまたは豊であるかどちらもである」ということは偽だとすると着続けない fact19: もし仮にその能力主義管理は療養生活ならば「それは慎み深いけど他愛無くない」ということは嘘だ fact20: 仮に「何らかのものが保安官事務所だしそれは再発し易い」ということは成り立たないなら保安官事務所であるということはない fact21: もしもその三十八Ｂが滑り易いということはないならその能力主義管理は療養生活でないかもしくは着続けるということはないか両方だ fact22: 「その予防・改善は保安官事務所でかつそれは再発し易い」ということは間違っている
void -> assump1: 以下のように仮定する。「その能力主義管理は療養生活である」ということは事実だ; fact19 & assump1 -> int1: 「その能力主義管理は慎み深い一方で他愛無くない」ということは確かだということはない; int1 & fact4 -> int2: 「その三十八Ｂは着続ける」ということは正しい; fact10 -> int3: もし仮に「その三十八Ｂは慶長検地でないかあるいは豊でない」ということは嘘であるとしたら着続けない; fact16 & int3 -> int4: 「その三十八Ｂは着続けない」ということは成り立つ; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その能力主義管理は療養生活でない; int6 -> int7: 「療養生活でない」ものはある; int7 & fact2 -> int8: あの反感は滑り易い一方で遺伝研究であるということはない; int8 -> hypothesis;
その交際相手は他愛無くない
fact23 -> int9: もし仮にその能力主義管理が着続けるとすればそれは他愛無くなくてそれに療養生活だ;
$facts$ = fact1: 仮に「何らかのものは慶長検地でないかもしくは豊である」ということは成り立たないとすれば着続けない fact2: 仮にあるものが療養生活でないとしたらあの反感は滑り易いけど遺伝研究でない fact3: もしその能力主義管理が他愛無いとするとその三十八Ｂは着続ける fact4: もし仮に「その能力主義管理は慎み深い一方で他愛無くない」ということは誤っていればその三十八Ｂは着続ける fact5: もしその能力主義管理は療養生活ならば「慎み深いし加えて他愛無い」ということは成り立たない fact6: 仮にあるものが豊だということはないとすれば慶長検地であるし更に滑り易い fact7: 仮になんらかのものは滑り易いとすると「「療養生活であるし更にそれは着続けない」ということは真実だ」ということは誤っている fact8: とあるものは保安官事務所でないとすると「それは慶長検地で豊だ」ということは成り立たない fact9: 「その能力主義管理は慎み深いしさらにそれは他愛無い」ということは偽である fact10: 仮に「あるものは慶長検地でないかまたは豊でないかまたは両方ともだ」ということは誤りだとしたら「それは着続けない」ということは成り立つ fact11: その三十八Ｂは豊である fact12: もし「何かは療養生活であるが着続けない」ということは偽であるならそれは遺伝研究でない fact13: 療養生活はある fact14: その三十八Ｂは豊であるけどそれは他愛無くない fact15: 「「慶長検地だし豊だ」ということは成り立たない」ものはあれば「その三十八Ｂは滑り易くない」ということは誤っていない fact16: 「その三十八Ｂは慶長検地だということはないかあるいは豊でないかもしくはどちらもだ」ということは誤っている fact17: もしなにかは着続けるとするとそれは他愛無くないが療養生活だ fact18: もし「その三十八Ｂは慶長検地でないかまたは豊であるかどちらもである」ということは偽だとすると着続けない fact19: もし仮にその能力主義管理は療養生活ならば「それは慎み深いけど他愛無くない」ということは嘘だ fact20: 仮に「何らかのものが保安官事務所だしそれは再発し易い」ということは成り立たないなら保安官事務所であるということはない fact21: もしもその三十八Ｂが滑り易いということはないならその能力主義管理は療養生活でないかもしくは着続けるということはないか両方だ fact22: 「その予防・改善は保安官事務所でかつそれは再発し易い」ということは間違っている ; $hypothesis$ = あの反感は遺伝研究である ; $proof$ = 
void -> assump1: 以下のように仮定する。「その能力主義管理は療養生活である」ということは事実だ; fact19 & assump1 -> int1: 「その能力主義管理は慎み深い一方で他愛無くない」ということは確かだということはない; int1 & fact4 -> int2: 「その三十八Ｂは着続ける」ということは正しい; fact10 -> int3: もし仮に「その三十八Ｂは慶長検地でないかあるいは豊でない」ということは嘘であるとしたら着続けない; fact16 & int3 -> int4: 「その三十八Ｂは着続けない」ということは成り立つ; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その能力主義管理は療養生活でない; int6 -> int7: 「療養生活でない」ものはある; int7 & fact2 -> int8: あの反感は滑り易い一方で遺伝研究であるということはない; 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: 「その予防・改善は保安官事務所でかつそれは再発し易い」ということは間違っている

仮説: あの反感は遺伝研究である
1. 仮定1: 以下のように仮定する。「その能力主義管理は療養生活である」ということは事実だ
2. 事実19と仮定1から、推論1: "「その能力主義管理は慎み深い一方で他愛無くない」ということは確かだということはない"が導かれる
3. 推論1と事実4から、推論2: "「その三十八Ｂは着続ける」ということは正しい"が導かれる
4. 事実10から、推論3: "もし仮に「その三十八Ｂは慶長検地でないかあるいは豊でない」ということは嘘であるとしたら着続けない"が導かれる
5. 事実16と推論3から、推論4: "「その三十八Ｂは着続けない」ということは成り立つ"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その能力主義管理は療養生活でない"が導かれる
8. 推論6から、推論7: "「療養生活でない」ものはある"が導かれる
9. 推論7と事実2から、推論8: "あの反感は滑り易い一方で遺伝研究であるということはない"が導かれる
10. 推論8から、仮説が否定される

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