なにがしかの物は御構い無い
fact1: あの便秘気味は選択し易い fact2: もしその鉄生産が御構い無いとすればあの肌着は現実性である fact3: あの老人病院は入れ難い fact4: 仮にあの肌着が現実性であるとするとその鉄生産は御構い無い fact5: この遺構・遺物は準反応関数だ fact6: その鉄生産は選択し易い fact7: あの肌着は選択し易い fact8: あの便秘気味が選択し易いとするとその鉄生産は現実性である fact9: もしもその鉄生産が現実性だとしたらあの肌着は御構い無い fact10: あの肌着は解離する fact11: もし仮にあの肌着が現実性ならばその鉄生産は選択し易い fact12: その鉄生産が選択し易いとするとあの便秘気味は現実性だ fact13: あの便秘気味は現実性だ fact14: もしもあの便秘気味が御構い無いとしたらあの肌着は選択し易い fact15: 「選択し易い」ものはある fact16: あの便秘気味は沈降する fact17: この被疑事実は現実性である fact18: もし「あの便秘気味は選択し易くないし現実性でない」ということは偽ならばその腹芸は現実性である
fact8 & fact1 -> int1: その鉄生産は現実性だ; int1 & fact9 -> int2: 「あの肌着は御構い無い」ということは確かだ; int2 -> hypothesis;
fact8 & fact1 -> int1: {B}{b}; int1 & fact9 -> int2: {C}{c}; int2 -> hypothesis;
その腹芸は現実性である
$facts$ = fact1: あの便秘気味は選択し易い fact2: もしその鉄生産が御構い無いとすればあの肌着は現実性である fact3: あの老人病院は入れ難い fact4: 仮にあの肌着が現実性であるとするとその鉄生産は御構い無い fact5: この遺構・遺物は準反応関数だ fact6: その鉄生産は選択し易い fact7: あの肌着は選択し易い fact8: あの便秘気味が選択し易いとするとその鉄生産は現実性である fact9: もしもその鉄生産が現実性だとしたらあの肌着は御構い無い fact10: あの肌着は解離する fact11: もし仮にあの肌着が現実性ならばその鉄生産は選択し易い fact12: その鉄生産が選択し易いとするとあの便秘気味は現実性だ fact13: あの便秘気味は現実性だ fact14: もしもあの便秘気味が御構い無いとしたらあの肌着は選択し易い fact15: 「選択し易い」ものはある fact16: あの便秘気味は沈降する fact17: この被疑事実は現実性である fact18: もし「あの便秘気味は選択し易くないし現実性でない」ということは偽ならばその腹芸は現実性である ; $hypothesis$ = なにがしかの物は御構い無い ; $proof$ = 
fact8 & fact1 -> int1: その鉄生産は現実性だ; int1 & fact9 -> int2: 「あの肌着は御構い無い」ということは確かだ; int2 -> hypothesis; __PROVED__
事実1: あの便秘気味は選択し易い
事実2: もしその鉄生産が御構い無いとすればあの肌着は現実性である
事実3: あの老人病院は入れ難い
事実4: 仮にあの肌着が現実性であるとするとその鉄生産は御構い無い
事実5: この遺構・遺物は準反応関数だ
事実6: その鉄生産は選択し易い
事実7: あの肌着は選択し易い
事実8: あの便秘気味が選択し易いとするとその鉄生産は現実性である
事実9: もしもその鉄生産が現実性だとしたらあの肌着は御構い無い
事実10: あの肌着は解離する
事実11: もし仮にあの肌着が現実性ならばその鉄生産は選択し易い
事実12: その鉄生産が選択し易いとするとあの便秘気味は現実性だ
事実13: あの便秘気味は現実性だ
事実14: もしもあの便秘気味が御構い無いとしたらあの肌着は選択し易い
事実15: 「選択し易い」ものはある
事実16: あの便秘気味は沈降する
事実17: この被疑事実は現実性である
事実18: もし「あの便秘気味は選択し易くないし現実性でない」ということは偽ならばその腹芸は現実性である

仮説: なにがしかの物は御構い無い
1. 事実8と事実1から、推論1: "その鉄生産は現実性だ"が導かれる
2. 推論1と事実9から、推論2: "「あの肌着は御構い無い」ということは確かだ"が導かれる
3. 推論2から、仮説が導かれる

よって、仮説が証明されました。