もし仮にその当該書類は取り替えるとしたら「それは打ち易くない」ということは確かである
fact1: もし仮に何らかのものがチェーン展開すればそれは保守点検でない fact2: その当該書類が取り替えるならそれは打ち易い fact3: もしとある物は取り替えれば「それは打ち易い」ということは成り立つ fact4: もしもその当該書類は融通すれば「竹さんでない」ということは成り立つ fact5: もし仮になんらかの物は取り替えるとしたら「それは打ち易くない」ということは事実と異ならない fact6: 入り易いものはメインテーマでない fact7: 仮にその当該書類が恵み深いならば取り替えない fact8: もし仮にあの大阪市内が取り替えるとしたら朝堂であるということはない fact9: もしなにがしかのものが住み始めるとすると融通しない
fact5 -> hypothesis;
$facts$ = fact1: もし仮に何らかのものがチェーン展開すればそれは保守点検でない fact2: その当該書類が取り替えるならそれは打ち易い fact3: もしとある物は取り替えれば「それは打ち易い」ということは成り立つ fact4: もしもその当該書類は融通すれば「竹さんでない」ということは成り立つ fact5: もし仮になんらかの物は取り替えるとしたら「それは打ち易くない」ということは事実と異ならない fact6: 入り易いものはメインテーマでない fact7: 仮にその当該書類が恵み深いならば取り替えない fact8: もし仮にあの大阪市内が取り替えるとしたら朝堂であるということはない fact9: もしなにがしかのものが住み始めるとすると融通しない ; $hypothesis$ = もし仮にその当該書類は取り替えるとしたら「それは打ち易くない」ということは確かである ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: もし仮に何らかのものがチェーン展開すればそれは保守点検でない
事実2: その当該書類が取り替えるならそれは打ち易い
事実3: もしとある物は取り替えれば「それは打ち易い」ということは成り立つ
事実4: もしもその当該書類は融通すれば「竹さんでない」ということは成り立つ
事実5: もし仮になんらかの物は取り替えるとしたら「それは打ち易くない」ということは事実と異ならない
事実6: 入り易いものはメインテーマでない
事実7: 仮にその当該書類が恵み深いならば取り替えない
事実8: もし仮にあの大阪市内が取り替えるとしたら朝堂であるということはない
事実9: もしなにがしかのものが住み始めるとすると融通しない

仮説: もし仮にその当該書類は取り替えるとしたら「それは打ち易くない」ということは確かである
1. 事実5から、仮説が導かれる

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