「この改善等はフリードリンクである」ということは事実である
fact1: この改善等は救う fact2: 仮にこの物其れ自体は深読みしないとすると「この改善等は焦れったいということはないし救わない」ということは成り立つということはない fact3: もし仮にこの物其れ自体は救うとすると「この改善等はフリードリンクだ」ということは偽でない fact4: もし仮にこの物其れ自体がフリードリンクであるとしたらこの改善等は焦れったい fact5: 仮にこの物其れ自体が日本陸軍ならばあの改善等は焦れったい fact6: とあるものが深読みしない一方でそれはプットであるなら救わない fact7: この物其れ自体は焦れったいか救う fact8: 仮に「この改善等は焦れったい」ということは成り立てばこの物其れ自体はフリードリンクである fact9: この物其れ自体は滑り出す fact10: 仮にこの物其れ自体は焦れったいとすれば「この改善等はフリードリンクだ」ということは確かだ fact11: 仮にこの物其れ自体が焦れったいとしたらこの改善等は救う fact12: もしこの物其れ自体がフリードリンクだとするとこの改善等は救う fact13: この改善等は電気製品であるかもしくはフリードリンクであるかあるいはどちらもである fact14: もしもこの一メートル半がプットであるし深読みするとしたらこの物其れ自体は深読みしない fact15: 「この改善等は焦れったい」ということは真実である fact16: この改善等が救うならばあの物其れ自体はフリードリンクである
fact7 & fact10 & fact3 -> hypothesis;
fact7 & fact10 & fact3 -> hypothesis;
その葫蘆虫具はフリードリンクである
fact17 -> int1: もしもこの物其れ自体が深読みしないがしかしプットであるとすると救わない;
$facts$ = fact1: この改善等は救う fact2: 仮にこの物其れ自体は深読みしないとすると「この改善等は焦れったいということはないし救わない」ということは成り立つということはない fact3: もし仮にこの物其れ自体は救うとすると「この改善等はフリードリンクだ」ということは偽でない fact4: もし仮にこの物其れ自体がフリードリンクであるとしたらこの改善等は焦れったい fact5: 仮にこの物其れ自体が日本陸軍ならばあの改善等は焦れったい fact6: とあるものが深読みしない一方でそれはプットであるなら救わない fact7: この物其れ自体は焦れったいか救う fact8: 仮に「この改善等は焦れったい」ということは成り立てばこの物其れ自体はフリードリンクである fact9: この物其れ自体は滑り出す fact10: 仮にこの物其れ自体は焦れったいとすれば「この改善等はフリードリンクだ」ということは確かだ fact11: 仮にこの物其れ自体が焦れったいとしたらこの改善等は救う fact12: もしこの物其れ自体がフリードリンクだとするとこの改善等は救う fact13: この改善等は電気製品であるかもしくはフリードリンクであるかあるいはどちらもである fact14: もしもこの一メートル半がプットであるし深読みするとしたらこの物其れ自体は深読みしない fact15: 「この改善等は焦れったい」ということは真実である fact16: この改善等が救うならばあの物其れ自体はフリードリンクである ; $hypothesis$ = 「この改善等はフリードリンクである」ということは事実である ; $proof$ = 
fact7 & fact10 & fact3 -> hypothesis; __PROVED__
事実1: この改善等は救う
事実2: 仮にこの物其れ自体は深読みしないとすると「この改善等は焦れったいということはないし救わない」ということは成り立つということはない
事実3: もし仮にこの物其れ自体は救うとすると「この改善等はフリードリンクだ」ということは偽でない
事実4: もし仮にこの物其れ自体がフリードリンクであるとしたらこの改善等は焦れったい
事実5: 仮にこの物其れ自体が日本陸軍ならばあの改善等は焦れったい
事実6: とあるものが深読みしない一方でそれはプットであるなら救わない
事実7: この物其れ自体は焦れったいか救う
事実8: 仮に「この改善等は焦れったい」ということは成り立てばこの物其れ自体はフリードリンクである
事実9: この物其れ自体は滑り出す
事実10: 仮にこの物其れ自体は焦れったいとすれば「この改善等はフリードリンクだ」ということは確かだ
事実11: 仮にこの物其れ自体が焦れったいとしたらこの改善等は救う
事実12: もしこの物其れ自体がフリードリンクだとするとこの改善等は救う
事実13: この改善等は電気製品であるかもしくはフリードリンクであるかあるいはどちらもである
事実14: もしもこの一メートル半がプットであるし深読みするとしたらこの物其れ自体は深読みしない
事実15: 「この改善等は焦れったい」ということは真実である
事実16: この改善等が救うならばあの物其れ自体はフリードリンクである

仮説: 「この改善等はフリードリンクである」ということは事実である
1. 事実7と事実10と事実3から、仮説が導かれる

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