その副腎疾患は入り切れる
fact1: もしもその金利引き下げが軽ーいとすればその副腎疾患は入り切れる fact2: もしもなにがしかの物はフィールド名であるということはないとしたら成り難いが軽ーくない fact3: もし仮に「その流線形はおっきくないけどそれは入り切れる」ということは成り立たないとすればあの副腎疾患はしゃしゃり出ない fact4: もし仮にその流線形が入り切れるとするとその副腎疾患はおっきいということはない fact5: もし仮に「その流線形はおっきいということはないけれどしゃしゃり出る」ということは嘘であるとするとその副腎疾患は入り切れない fact6: 「その流線形はしゃしゃり出ないけど入り切れる」ということは真実でない fact7: もしも「「その副腎疾患はしゃしゃり出ない一方で入り切れる」ということは誤っている」ということは事実であるとしたらその流線形はおっきいということはない fact8: おっきくないしかつそれはしゃしゃり出るという物はない fact9: 成り難いものが軽ーくないとするとそれは入り切れるということはない fact10: もし仮に「その流線形は入り切れないけれどしゃしゃり出る」ということは嘘であるならその副腎疾患はおっきくない fact11: 仮にその流線形がおっきいならばその副腎疾患は入り切れない fact12: 入り切れるし更にしゃしゃり出るというものはない fact13: 入り切れないけどおっきいという物はない
fact8 -> int1: 「その流線形はおっきくないけどしゃしゃり出る」ということは誤りだ; int1 & fact5 -> hypothesis;
その副腎疾患は入り切れる
$facts$ = fact1: もしもその金利引き下げが軽ーいとすればその副腎疾患は入り切れる fact2: もしもなにがしかの物はフィールド名であるということはないとしたら成り難いが軽ーくない fact3: もし仮に「その流線形はおっきくないけどそれは入り切れる」ということは成り立たないとすればあの副腎疾患はしゃしゃり出ない fact4: もし仮にその流線形が入り切れるとするとその副腎疾患はおっきいということはない fact5: もし仮に「その流線形はおっきいということはないけれどしゃしゃり出る」ということは嘘であるとするとその副腎疾患は入り切れない fact6: 「その流線形はしゃしゃり出ないけど入り切れる」ということは真実でない fact7: もしも「「その副腎疾患はしゃしゃり出ない一方で入り切れる」ということは誤っている」ということは事実であるとしたらその流線形はおっきいということはない fact8: おっきくないしかつそれはしゃしゃり出るという物はない fact9: 成り難いものが軽ーくないとするとそれは入り切れるということはない fact10: もし仮に「その流線形は入り切れないけれどしゃしゃり出る」ということは嘘であるならその副腎疾患はおっきくない fact11: 仮にその流線形がおっきいならばその副腎疾患は入り切れない fact12: 入り切れるし更にしゃしゃり出るというものはない fact13: 入り切れないけどおっきいという物はない ; $hypothesis$ = その副腎疾患は入り切れる ; $proof$ = 
fact8 -> int1: 「その流線形はおっきくないけどしゃしゃり出る」ということは誤りだ; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: もしもその金利引き下げが軽ーいとすればその副腎疾患は入り切れる
事実2: もしもなにがしかの物はフィールド名であるということはないとしたら成り難いが軽ーくない
事実3: もし仮に「その流線形はおっきくないけどそれは入り切れる」ということは成り立たないとすればあの副腎疾患はしゃしゃり出ない
事実4: もし仮にその流線形が入り切れるとするとその副腎疾患はおっきいということはない
事実5: もし仮に「その流線形はおっきいということはないけれどしゃしゃり出る」ということは嘘であるとするとその副腎疾患は入り切れない
事実6: 「その流線形はしゃしゃり出ないけど入り切れる」ということは真実でない
事実7: もしも「「その副腎疾患はしゃしゃり出ない一方で入り切れる」ということは誤っている」ということは事実であるとしたらその流線形はおっきいということはない
事実8: おっきくないしかつそれはしゃしゃり出るという物はない
事実9: 成り難いものが軽ーくないとするとそれは入り切れるということはない
事実10: もし仮に「その流線形は入り切れないけれどしゃしゃり出る」ということは嘘であるならその副腎疾患はおっきくない
事実11: 仮にその流線形がおっきいならばその副腎疾患は入り切れない
事実12: 入り切れるし更にしゃしゃり出るというものはない
事実13: 入り切れないけどおっきいという物はない

仮説: その副腎疾患は入り切れる
1. 事実8から、推論1: "「その流線形はおっきくないけどしゃしゃり出る」ということは誤りだ"が導かれる
2. 推論1と事実5から、仮説が否定される

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