このメディア介在は落ち窪む
fact1: もし何かは古代史研究でないとすれば話し難いし使用し易い fact2: このメディア介在はパルファン・クリスチャン・ディオールであるし更にそれはマネタリストだ fact3: もしなにがしかのものは落ち窪まないなら「参加し易いがしかし深しない」ということは間違いである fact4: その一書はマネタリストであるということはないが炊き上がる fact5: なんらかのものはパルファン・クリスチャン・ディオールでないとすると「使用し易いしかつ古代史研究である」ということは成り立つということはない fact6: この四十センチメートル間隔は参加し易いということはない fact7: 参加し易い物は落ち窪む fact8: その指導室は感慨深くない fact9: 深しものは落ち窪む fact10: もしも「この適用後は使用し易いしかつそれは古代史研究だ」ということは誤っているとすればこの四十センチメートル間隔は落ち窪まない fact11: 「もし仮にあの破綻生保がマネタリストであるならばあの四十センチメートル間隔は深し」ということは本当だ fact12: 仮に「なにがしかの物は話し難くないし加えて参加し易いということはない」ということは成り立たないとするとそれは参加し易い fact13: もしも「何らかのものは調和し合うしまた六温泉だ」ということは成り立たないならパルファン・クリスチャン・ディオールでない fact14: もし仮に「あの破綻生保は古代史研究であるかあるいはそれは調和し合わないかまたは両方ともだ」ということは間違いならこのメディア介在は古代史研究でない fact15: もしもこの四十センチメートル間隔が参加し易いけど落ち窪むということはないとするとこのメディア介在は落ち窪まない fact16: もしマネタリストが話し難いならばそれは落ち窪まない fact17: もしもその一書がマネタリストでないけれど炊き上がるとするとあの破綻生保はマネタリストだ fact18: もし仮に「このメディア介在は参加し易いけれど深しない」ということは成り立つということはないとするとこの四十センチメートル間隔は深し fact19: 仮にこの四十センチメートル間隔が参加し易くないとするとこのメディア介在は深し
fact19 & fact6 -> int1: このメディア介在は深し; fact9 -> int2: このメディア介在が深しとすれば落ち窪む; int1 & int2 -> hypothesis;
「このメディア介在は落ち窪まない」ということは成り立つ
fact23 -> int3: もしも「この四十センチメートル間隔は話し難くないしおまけにそれは参加し易くない」ということは誤っているとすればそれは参加し易い; fact27 & fact28 -> int4: あの破綻生保はマネタリストである; fact26 & int4 -> int5: 「この四十センチメートル間隔は深し」ということは正しい; fact21 -> int6: もしもこの適用後はパルファン・クリスチャン・ディオールでないとすると「それは使用し易いし古代史研究である」ということは事実と異なる; fact22 -> int7: もしも「この適用後は調和し合うし六温泉である」ということは誤りだとするとパルファン・クリスチャン・ディオールでない; fact25 -> int8: 「感慨深くない」物はある;
$facts$ = fact1: もし何かは古代史研究でないとすれば話し難いし使用し易い fact2: このメディア介在はパルファン・クリスチャン・ディオールであるし更にそれはマネタリストだ fact3: もしなにがしかのものは落ち窪まないなら「参加し易いがしかし深しない」ということは間違いである fact4: その一書はマネタリストであるということはないが炊き上がる fact5: なんらかのものはパルファン・クリスチャン・ディオールでないとすると「使用し易いしかつ古代史研究である」ということは成り立つということはない fact6: この四十センチメートル間隔は参加し易いということはない fact7: 参加し易い物は落ち窪む fact8: その指導室は感慨深くない fact9: 深しものは落ち窪む fact10: もしも「この適用後は使用し易いしかつそれは古代史研究だ」ということは誤っているとすればこの四十センチメートル間隔は落ち窪まない fact11: 「もし仮にあの破綻生保がマネタリストであるならばあの四十センチメートル間隔は深し」ということは本当だ fact12: 仮に「なにがしかの物は話し難くないし加えて参加し易いということはない」ということは成り立たないとするとそれは参加し易い fact13: もしも「何らかのものは調和し合うしまた六温泉だ」ということは成り立たないならパルファン・クリスチャン・ディオールでない fact14: もし仮に「あの破綻生保は古代史研究であるかあるいはそれは調和し合わないかまたは両方ともだ」ということは間違いならこのメディア介在は古代史研究でない fact15: もしもこの四十センチメートル間隔が参加し易いけど落ち窪むということはないとするとこのメディア介在は落ち窪まない fact16: もしマネタリストが話し難いならばそれは落ち窪まない fact17: もしもその一書がマネタリストでないけれど炊き上がるとするとあの破綻生保はマネタリストだ fact18: もし仮に「このメディア介在は参加し易いけれど深しない」ということは成り立つということはないとするとこの四十センチメートル間隔は深し fact19: 仮にこの四十センチメートル間隔が参加し易くないとするとこのメディア介在は深し ; $hypothesis$ = このメディア介在は落ち窪む ; $proof$ = 
fact19 & fact6 -> int1: このメディア介在は深し; fact9 -> int2: このメディア介在が深しとすれば落ち窪む; int1 & int2 -> hypothesis; __PROVED__
事実1: もし何かは古代史研究でないとすれば話し難いし使用し易い
事実2: このメディア介在はパルファン・クリスチャン・ディオールであるし更にそれはマネタリストだ
事実3: もしなにがしかのものは落ち窪まないなら「参加し易いがしかし深しない」ということは間違いである
事実4: その一書はマネタリストであるということはないが炊き上がる
事実5: なんらかのものはパルファン・クリスチャン・ディオールでないとすると「使用し易いしかつ古代史研究である」ということは成り立つということはない
事実6: この四十センチメートル間隔は参加し易いということはない
事実7: 参加し易い物は落ち窪む
事実8: その指導室は感慨深くない
事実9: 深しものは落ち窪む
事実10: もしも「この適用後は使用し易いしかつそれは古代史研究だ」ということは誤っているとすればこの四十センチメートル間隔は落ち窪まない
事実11: 「もし仮にあの破綻生保がマネタリストであるならばあの四十センチメートル間隔は深し」ということは本当だ
事実12: 仮に「なにがしかの物は話し難くないし加えて参加し易いということはない」ということは成り立たないとするとそれは参加し易い
事実13: もしも「何らかのものは調和し合うしまた六温泉だ」ということは成り立たないならパルファン・クリスチャン・ディオールでない
事実14: もし仮に「あの破綻生保は古代史研究であるかあるいはそれは調和し合わないかまたは両方ともだ」ということは間違いならこのメディア介在は古代史研究でない
事実15: もしもこの四十センチメートル間隔が参加し易いけど落ち窪むということはないとするとこのメディア介在は落ち窪まない
事実16: もしマネタリストが話し難いならばそれは落ち窪まない
事実17: もしもその一書がマネタリストでないけれど炊き上がるとするとあの破綻生保はマネタリストだ
事実18: もし仮に「このメディア介在は参加し易いけれど深しない」ということは成り立つということはないとするとこの四十センチメートル間隔は深し
事実19: 仮にこの四十センチメートル間隔が参加し易くないとするとこのメディア介在は深し

仮説: このメディア介在は落ち窪む
1. 事実19と事実6から、推論1: "このメディア介在は深し"が導かれる
2. 事実9から、推論2: "このメディア介在が深しとすれば落ち窪む"が導かれる
3. 推論1と推論2から、仮説が導かれる

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