この高校卒業後は聞き知るということはない
fact1: もし仮にあのハンドは聞き知るなら「この高校卒業後は聞き知る」ということは真実である fact2: 生臭いものは米国株である fact3: もしもこの親和関係が後退りするならあのＤ‐Ｆ‐Ｗ尺度は刷り上がらない fact4: 仮にあのＤ‐Ｆ‐Ｗ尺度が刷り上がるということはないとしたらそれは遅しし更に歌える fact5: 仮に何らかのものが疑り深いとするとこの高校卒業後は聞き知らない fact6: もし仮に米国株が歌えるとすれば粘るということはない fact7: もしなにがしかの物が疑り深いならこの高校卒業後は蝦夷国でない fact8: もしこの高校卒業後が禿げるということはないとすると恐れ多くなくておまけにそれは分かり難い fact9: もし仮になにかは頓着すれば「米国株でない」ということは嘘である fact10: もし仮にあるものは法治主義でないなら「疑り深くないかまたはそれは聞き知らないかあるいは両方ともだ」ということは偽だ fact11: 「そのＣＡＳＲ発現は分かり難いけれど恐れ多くない」ということは確かでないならその疎林は法治主義でない fact12: 仮にあのＤ‐Ｆ‐Ｗ尺度が歌えるならばあの先手先手は歌える fact13: そのエゴイズムは自己負担でない fact14: もし仮に何かは法治主義だということはないとするとそれは聞き知るしさらにそれは疑り深くない fact15: 仮に「自己負担であるということはない」ものがあるとすればあの先手先手は生臭いかそれは頓着するかどちらもである fact16: その疎林が聞き知るとするとあのハンドは聞き知る fact17: もしこの親和関係が襟首であるならあのＤ‐Ｆ‐Ｗ尺度は刷り上がらない fact18: この親和関係は後退りするかまたは襟首であるかもしくは両方だ fact19: 「疑り深い」ものはある fact20: なんらかのものは聞き知る fact21: もし仮に「あるものは疑り深くないかあるいはそれは聞き知らない」ということは成り立たないとすれば置く fact22: もし仮にとあるものは禿げれば「それが分かり難いしその上それは恐れ多くない」ということは偽だ
fact19 & fact5 -> hypothesis;
fact19 & fact5 -> hypothesis;
「「置く」ということは誤っていない」物はある
fact25 -> int1: 仮に「この高校卒業後は疑り深くないかまたは聞き知らない」ということは嘘であるならば「それは置く」ということは成り立つ; fact23 -> int2: この高校卒業後は法治主義でないならば「疑り深くないかもしくはそれは聞き知らないかもしくはどちらもである」ということは間違っている;
$facts$ = fact1: もし仮にあのハンドは聞き知るなら「この高校卒業後は聞き知る」ということは真実である fact2: 生臭いものは米国株である fact3: もしもこの親和関係が後退りするならあのＤ‐Ｆ‐Ｗ尺度は刷り上がらない fact4: 仮にあのＤ‐Ｆ‐Ｗ尺度が刷り上がるということはないとしたらそれは遅しし更に歌える fact5: 仮に何らかのものが疑り深いとするとこの高校卒業後は聞き知らない fact6: もし仮に米国株が歌えるとすれば粘るということはない fact7: もしなにがしかの物が疑り深いならこの高校卒業後は蝦夷国でない fact8: もしこの高校卒業後が禿げるということはないとすると恐れ多くなくておまけにそれは分かり難い fact9: もし仮になにかは頓着すれば「米国株でない」ということは嘘である fact10: もし仮にあるものは法治主義でないなら「疑り深くないかまたはそれは聞き知らないかあるいは両方ともだ」ということは偽だ fact11: 「そのＣＡＳＲ発現は分かり難いけれど恐れ多くない」ということは確かでないならその疎林は法治主義でない fact12: 仮にあのＤ‐Ｆ‐Ｗ尺度が歌えるならばあの先手先手は歌える fact13: そのエゴイズムは自己負担でない fact14: もし仮に何かは法治主義だということはないとするとそれは聞き知るしさらにそれは疑り深くない fact15: 仮に「自己負担であるということはない」ものがあるとすればあの先手先手は生臭いかそれは頓着するかどちらもである fact16: その疎林が聞き知るとするとあのハンドは聞き知る fact17: もしこの親和関係が襟首であるならあのＤ‐Ｆ‐Ｗ尺度は刷り上がらない fact18: この親和関係は後退りするかまたは襟首であるかもしくは両方だ fact19: 「疑り深い」ものはある fact20: なんらかのものは聞き知る fact21: もし仮に「あるものは疑り深くないかあるいはそれは聞き知らない」ということは成り立たないとすれば置く fact22: もし仮にとあるものは禿げれば「それが分かり難いしその上それは恐れ多くない」ということは偽だ ; $hypothesis$ = この高校卒業後は聞き知るということはない ; $proof$ = 
fact19 & fact5 -> hypothesis; __PROVED__
事実1: もし仮にあのハンドは聞き知るなら「この高校卒業後は聞き知る」ということは真実である
事実2: 生臭いものは米国株である
事実3: もしもこの親和関係が後退りするならあのＤ‐Ｆ‐Ｗ尺度は刷り上がらない
事実4: 仮にあのＤ‐Ｆ‐Ｗ尺度が刷り上がるということはないとしたらそれは遅しし更に歌える
事実5: 仮に何らかのものが疑り深いとするとこの高校卒業後は聞き知らない
事実6: もし仮に米国株が歌えるとすれば粘るということはない
事実7: もしなにがしかの物が疑り深いならこの高校卒業後は蝦夷国でない
事実8: もしこの高校卒業後が禿げるということはないとすると恐れ多くなくておまけにそれは分かり難い
事実9: もし仮になにかは頓着すれば「米国株でない」ということは嘘である
事実10: もし仮にあるものは法治主義でないなら「疑り深くないかまたはそれは聞き知らないかあるいは両方ともだ」ということは偽だ
事実11: 「そのＣＡＳＲ発現は分かり難いけれど恐れ多くない」ということは確かでないならその疎林は法治主義でない
事実12: 仮にあのＤ‐Ｆ‐Ｗ尺度が歌えるならばあの先手先手は歌える
事実13: そのエゴイズムは自己負担でない
事実14: もし仮に何かは法治主義だということはないとするとそれは聞き知るしさらにそれは疑り深くない
事実15: 仮に「自己負担であるということはない」ものがあるとすればあの先手先手は生臭いかそれは頓着するかどちらもである
事実16: その疎林が聞き知るとするとあのハンドは聞き知る
事実17: もしこの親和関係が襟首であるならあのＤ‐Ｆ‐Ｗ尺度は刷り上がらない
事実18: この親和関係は後退りするかまたは襟首であるかもしくは両方だ
事実19: 「疑り深い」ものはある
事実20: なんらかのものは聞き知る
事実21: もし仮に「あるものは疑り深くないかあるいはそれは聞き知らない」ということは成り立たないとすれば置く
事実22: もし仮にとあるものは禿げれば「それが分かり難いしその上それは恐れ多くない」ということは偽だ

仮説: この高校卒業後は聞き知るということはない
1. 事実19と事実5から、仮説が導かれる

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