この身体方位依存性は成り下がる
fact1: もしも何らかのものが遺贈するならこの身体方位依存性はすっごーいし懐こい fact2: 仮に「「そのタイムラインマーカーは干すかまたは日米防衛協力でないかあるいは両方ともだ」ということは誤りだ」ということは成り立つとすれば用心深くない fact3: あの紫式部集は弾き易くない fact4: もし仮に「その順番待ちは成り下がるしすっごーい」ということは間違いであるとすればあの身体方位依存性は成り下がるということはない fact5: もしもなにかは懐こくないなら「それは成り下がるしおまけにすっごーい」ということは成り立たない fact6: 「用心深くないものは蛋白結合率でない」ということは確かである fact7: あの紫式部集が弾き易くないならそのタイムラインマーカーはあどけないし目途である fact8: この身体方位依存性は成り下がる fact9: この仲介役は成り下がる fact10: 仮に「蛋白結合率でない」ものはあるとすると「その順番待ちは目途でなくてその上遺贈しない」ということは成り立たない fact11: あの専門化は成り下がる fact12: もし仮にそのゴルフ場会員権は絶え間無いとすると「「そのタイムラインマーカーは干すかまたは日米防衛協力でない」ということは誤りだ」ということは事実である fact13: 仮になにかは目途だけど蛋白結合率でないとしたらそれは遺贈しない fact14: もし仮にすっごーいししかも懐こい物があるならそのゴルフ場会員権は成り下がる fact15: 仮にそのタイムラインマーカーが懐こくないかもしくはそれが遺贈するということはないならばその順番待ちは懐こいということはない fact16: 「あの紫式部集は干すということはないけど用心深い」ということは正しいということはない fact17: もし「なにかは目途でなくて遺贈しない」ということは事実と異なるならそれは遺贈する
fact8 -> hypothesis;
fact8 -> hypothesis;
「そのゴルフ場会員権は成り下がる」ということは事実である
fact22 -> int1: もしも「その順番待ちは目途でなくて遺贈しない」ということは事実と異なるとすれば遺贈する; fact20 -> int2: 「「干すということはないが用心深い」ということは嘘な」物はある;
$facts$ = fact1: もしも何らかのものが遺贈するならこの身体方位依存性はすっごーいし懐こい fact2: 仮に「「そのタイムラインマーカーは干すかまたは日米防衛協力でないかあるいは両方ともだ」ということは誤りだ」ということは成り立つとすれば用心深くない fact3: あの紫式部集は弾き易くない fact4: もし仮に「その順番待ちは成り下がるしすっごーい」ということは間違いであるとすればあの身体方位依存性は成り下がるということはない fact5: もしもなにかは懐こくないなら「それは成り下がるしおまけにすっごーい」ということは成り立たない fact6: 「用心深くないものは蛋白結合率でない」ということは確かである fact7: あの紫式部集が弾き易くないならそのタイムラインマーカーはあどけないし目途である fact8: この身体方位依存性は成り下がる fact9: この仲介役は成り下がる fact10: 仮に「蛋白結合率でない」ものはあるとすると「その順番待ちは目途でなくてその上遺贈しない」ということは成り立たない fact11: あの専門化は成り下がる fact12: もし仮にそのゴルフ場会員権は絶え間無いとすると「「そのタイムラインマーカーは干すかまたは日米防衛協力でない」ということは誤りだ」ということは事実である fact13: 仮になにかは目途だけど蛋白結合率でないとしたらそれは遺贈しない fact14: もし仮にすっごーいししかも懐こい物があるならそのゴルフ場会員権は成り下がる fact15: 仮にそのタイムラインマーカーが懐こくないかもしくはそれが遺贈するということはないならばその順番待ちは懐こいということはない fact16: 「あの紫式部集は干すということはないけど用心深い」ということは正しいということはない fact17: もし「なにかは目途でなくて遺贈しない」ということは事実と異なるならそれは遺贈する ; $hypothesis$ = この身体方位依存性は成り下がる ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: もしも何らかのものが遺贈するならこの身体方位依存性はすっごーいし懐こい
事実2: 仮に「「そのタイムラインマーカーは干すかまたは日米防衛協力でないかあるいは両方ともだ」ということは誤りだ」ということは成り立つとすれば用心深くない
事実3: あの紫式部集は弾き易くない
事実4: もし仮に「その順番待ちは成り下がるしすっごーい」ということは間違いであるとすればあの身体方位依存性は成り下がるということはない
事実5: もしもなにかは懐こくないなら「それは成り下がるしおまけにすっごーい」ということは成り立たない
事実6: 「用心深くないものは蛋白結合率でない」ということは確かである
事実7: あの紫式部集が弾き易くないならそのタイムラインマーカーはあどけないし目途である
事実8: この身体方位依存性は成り下がる
事実9: この仲介役は成り下がる
事実10: 仮に「蛋白結合率でない」ものはあるとすると「その順番待ちは目途でなくてその上遺贈しない」ということは成り立たない
事実11: あの専門化は成り下がる
事実12: もし仮にそのゴルフ場会員権は絶え間無いとすると「「そのタイムラインマーカーは干すかまたは日米防衛協力でない」ということは誤りだ」ということは事実である
事実13: 仮になにかは目途だけど蛋白結合率でないとしたらそれは遺贈しない
事実14: もし仮にすっごーいししかも懐こい物があるならそのゴルフ場会員権は成り下がる
事実15: 仮にそのタイムラインマーカーが懐こくないかもしくはそれが遺贈するということはないならばその順番待ちは懐こいということはない
事実16: 「あの紫式部集は干すということはないけど用心深い」ということは正しいということはない
事実17: もし「なにかは目途でなくて遺贈しない」ということは事実と異なるならそれは遺贈する

仮説: この身体方位依存性は成り下がる
1. 事実8から、仮説が導かれる

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