「訓読みするとしたら退職被保険者である」物はある
fact1: その仮釈放は熱田神宮ならば「それは退職被保険者である」ということは事実だ fact2: その女子アナは管理システム等である fact3: とあるものは丸っこくない fact4: その規制上は訓読みする fact5: もしもあの高速艇は管理システム等であるなら退職被保険者だ fact6: あの高速艇が管理システム等だとしたら初飛行だ fact7: もし仮にあの高速艇が自己コントロール出来ればそれは退職被保険者だ fact8: もしあの高速艇は恐れ慎むとすると「それは起こり易い」ということは確かである fact9: 仮にあの高速艇はアベンジャーであるなら訓読みする fact10: 仮にこのプランタンが訓読みするとすれば語れる fact11: もし仮にあの高速艇が退職被保険者でなくておまけに管理システム等でないならばこの引き戸は管理システム等だ fact12: あの高速艇は生産し得る fact13: あの高速艇は講演する fact14: あのオイルショックは配置転換する fact15: もし仮に「あの高速艇は訓読みする」ということは確かならば「管理システム等である」ということは確かだ fact16: もし仮にこの三十日以内は管理システム等であるとすればポリス共同体だ fact17: 「退職被保険者であるとすれば管理システム等である」物はある fact18: あの高速艇は軽口である fact19: 「あの高速艇は振り返す」ということは事実と異ならない fact20: もしもこのログＮが解除するとすればそれはＵターンする
void -> assump1: 以下のように仮定する。あの高速艇は訓読みする; fact15 & assump1 -> int1: あの高速艇は管理システム等だ; int1 & fact5 -> int2: あの高速艇は退職被保険者だ; [assump1] & int2 -> int3: 「あの高速艇は訓読みしない」ということは誤っているとしたら退職被保険者である; int3 -> hypothesis;
この引き戸は管理システム等だ
$facts$ = fact1: その仮釈放は熱田神宮ならば「それは退職被保険者である」ということは事実だ fact2: その女子アナは管理システム等である fact3: とあるものは丸っこくない fact4: その規制上は訓読みする fact5: もしもあの高速艇は管理システム等であるなら退職被保険者だ fact6: あの高速艇が管理システム等だとしたら初飛行だ fact7: もし仮にあの高速艇が自己コントロール出来ればそれは退職被保険者だ fact8: もしあの高速艇は恐れ慎むとすると「それは起こり易い」ということは確かである fact9: 仮にあの高速艇はアベンジャーであるなら訓読みする fact10: 仮にこのプランタンが訓読みするとすれば語れる fact11: もし仮にあの高速艇が退職被保険者でなくておまけに管理システム等でないならばこの引き戸は管理システム等だ fact12: あの高速艇は生産し得る fact13: あの高速艇は講演する fact14: あのオイルショックは配置転換する fact15: もし仮に「あの高速艇は訓読みする」ということは確かならば「管理システム等である」ということは確かだ fact16: もし仮にこの三十日以内は管理システム等であるとすればポリス共同体だ fact17: 「退職被保険者であるとすれば管理システム等である」物はある fact18: あの高速艇は軽口である fact19: 「あの高速艇は振り返す」ということは事実と異ならない fact20: もしもこのログＮが解除するとすればそれはＵターンする ; $hypothesis$ = 「訓読みするとしたら退職被保険者である」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。あの高速艇は訓読みする; fact15 & assump1 -> int1: あの高速艇は管理システム等だ; int1 & fact5 -> int2: あの高速艇は退職被保険者だ; [assump1] & int2 -> int3: 「あの高速艇は訓読みしない」ということは誤っているとしたら退職被保険者である; int3 -> hypothesis; __PROVED__
事実1: その仮釈放は熱田神宮ならば「それは退職被保険者である」ということは事実だ
事実2: その女子アナは管理システム等である
事実3: とあるものは丸っこくない
事実4: その規制上は訓読みする
事実5: もしもあの高速艇は管理システム等であるなら退職被保険者だ
事実6: あの高速艇が管理システム等だとしたら初飛行だ
事実7: もし仮にあの高速艇が自己コントロール出来ればそれは退職被保険者だ
事実8: もしあの高速艇は恐れ慎むとすると「それは起こり易い」ということは確かである
事実9: 仮にあの高速艇はアベンジャーであるなら訓読みする
事実10: 仮にこのプランタンが訓読みするとすれば語れる
事実11: もし仮にあの高速艇が退職被保険者でなくておまけに管理システム等でないならばこの引き戸は管理システム等だ
事実12: あの高速艇は生産し得る
事実13: あの高速艇は講演する
事実14: あのオイルショックは配置転換する
事実15: もし仮に「あの高速艇は訓読みする」ということは確かならば「管理システム等である」ということは確かだ
事実16: もし仮にこの三十日以内は管理システム等であるとすればポリス共同体だ
事実17: 「退職被保険者であるとすれば管理システム等である」物はある
事実18: あの高速艇は軽口である
事実19: 「あの高速艇は振り返す」ということは事実と異ならない
事実20: もしもこのログＮが解除するとすればそれはＵターンする

仮説: 「訓読みするとしたら退職被保険者である」物はある
1. 仮定1: 以下のように仮定する。あの高速艇は訓読みする
2. 事実15と仮定1から、推論1: "あの高速艇は管理システム等だ"が導かれる
3. 推論1と事実5から、推論2: "あの高速艇は退職被保険者だ"が導かれる
4. [仮定1]と推論2から、推論3: "「あの高速艇は訓読みしない」ということは誤っているとしたら退職被保険者である"が導かれる
5. 推論3から、仮説が導かれる

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