この熱環境は摘記する
fact1: もしも「ある物は直接観察しなくて口惜しくない」ということは成り立たないとすれば物凄まじい fact2: この熱環境は畏む fact3: この隠れ宿は摘記する fact4: この熱環境は脆い fact5: この熱環境は御見える fact6: この熱環境は立て難い fact7: あの九番アイアンは摘記する fact8: もしも物凄まじい物は共産党軍でないなら摘記しない fact9: あの天気図は摘記する fact10: この熱環境は主権国家体系であるということはない fact11: もし仮に「この熱環境は思しない一方で共産党軍だ」ということは誤っているとするとそれは共産党軍であるということはない fact12: この熱環境は生まれ易い fact13: もしこの熱環境は主権国家体系でないとしたらそれは物凄まじくてまた直接観察する fact14: この熱環境は崩し易い fact15: この平成十年版は摘記する fact16: この反共民同派は摘記する fact17: この熱環境は摘記する fact18: あのロボットは摘記する
fact17 -> hypothesis;
fact17 -> hypothesis;
あの片栗粉は摘記する
fact19 -> int1: もし仮に「「この熱環境は直接観察しなくて口惜しいということはない」ということは本当でない」ということは間違っているということはないとしたらそれは物凄まじい;
$facts$ = fact1: もしも「ある物は直接観察しなくて口惜しくない」ということは成り立たないとすれば物凄まじい fact2: この熱環境は畏む fact3: この隠れ宿は摘記する fact4: この熱環境は脆い fact5: この熱環境は御見える fact6: この熱環境は立て難い fact7: あの九番アイアンは摘記する fact8: もしも物凄まじい物は共産党軍でないなら摘記しない fact9: あの天気図は摘記する fact10: この熱環境は主権国家体系であるということはない fact11: もし仮に「この熱環境は思しない一方で共産党軍だ」ということは誤っているとするとそれは共産党軍であるということはない fact12: この熱環境は生まれ易い fact13: もしこの熱環境は主権国家体系でないとしたらそれは物凄まじくてまた直接観察する fact14: この熱環境は崩し易い fact15: この平成十年版は摘記する fact16: この反共民同派は摘記する fact17: この熱環境は摘記する fact18: あのロボットは摘記する ; $hypothesis$ = この熱環境は摘記する ; $proof$ = 
fact17 -> hypothesis; __PROVED__
事実1: もしも「ある物は直接観察しなくて口惜しくない」ということは成り立たないとすれば物凄まじい
事実2: この熱環境は畏む
事実3: この隠れ宿は摘記する
事実4: この熱環境は脆い
事実5: この熱環境は御見える
事実6: この熱環境は立て難い
事実7: あの九番アイアンは摘記する
事実8: もしも物凄まじい物は共産党軍でないなら摘記しない
事実9: あの天気図は摘記する
事実10: この熱環境は主権国家体系であるということはない
事実11: もし仮に「この熱環境は思しない一方で共産党軍だ」ということは誤っているとするとそれは共産党軍であるということはない
事実12: この熱環境は生まれ易い
事実13: もしこの熱環境は主権国家体系でないとしたらそれは物凄まじくてまた直接観察する
事実14: この熱環境は崩し易い
事実15: この平成十年版は摘記する
事実16: この反共民同派は摘記する
事実17: この熱環境は摘記する
事実18: あのロボットは摘記する

仮説: この熱環境は摘記する
1. 事実17から、仮説が導かれる

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