「「もし仮に欲しないならば辟易するし動かし始めない」ものはある」ということは成り立つ
fact1: もし仮にあのミシナが欲するとすると辟易するが動かし始めない fact2: 「もし仮に欲しないならば辟易するしおまけに動かし始める」ものはある fact3: 「仮に欲しないとすれば辟易する」ものはある fact4: なにかは欲するならそれが辟易するしその上動かし始めるということはない fact5: 仮にあのミシナが欲しないなら辟易するしおまけに動かし始める fact6: もし仮になんらかのものが自由貿易体制でないとすればそれは人並み以上だ fact7: もし仮にあのミシナは欲しないとすると「辟易する」ということは成り立つ fact8: 「もし仮に欲すれば辟易する一方で動かし始めるということはない」ものはある fact9: 「欲しないなら動かし始めない」ものはある fact10: もしもとある物は欲しないとすれば「それは辟易するししかも動かし始めない」ということは成り立つ
fact10 -> int1: 仮にあのミシナが欲しないなら辟易するしその上動かし始めない; int1 -> hypothesis;
$facts$ = fact1: もし仮にあのミシナが欲するとすると辟易するが動かし始めない fact2: 「もし仮に欲しないならば辟易するしおまけに動かし始める」ものはある fact3: 「仮に欲しないとすれば辟易する」ものはある fact4: なにかは欲するならそれが辟易するしその上動かし始めるということはない fact5: 仮にあのミシナが欲しないなら辟易するしおまけに動かし始める fact6: もし仮になんらかのものが自由貿易体制でないとすればそれは人並み以上だ fact7: もし仮にあのミシナは欲しないとすると「辟易する」ということは成り立つ fact8: 「もし仮に欲すれば辟易する一方で動かし始めるということはない」ものはある fact9: 「欲しないなら動かし始めない」ものはある fact10: もしもとある物は欲しないとすれば「それは辟易するししかも動かし始めない」ということは成り立つ ; $hypothesis$ = 「「もし仮に欲しないならば辟易するし動かし始めない」ものはある」ということは成り立つ ; $proof$ = 
fact10 -> int1: 仮にあのミシナが欲しないなら辟易するしその上動かし始めない; int1 -> hypothesis; __PROVED__
事実1: もし仮にあのミシナが欲するとすると辟易するが動かし始めない
事実2: 「もし仮に欲しないならば辟易するしおまけに動かし始める」ものはある
事実3: 「仮に欲しないとすれば辟易する」ものはある
事実4: なにかは欲するならそれが辟易するしその上動かし始めるということはない
事実5: 仮にあのミシナが欲しないなら辟易するしおまけに動かし始める
事実6: もし仮になんらかのものが自由貿易体制でないとすればそれは人並み以上だ
事実7: もし仮にあのミシナは欲しないとすると「辟易する」ということは成り立つ
事実8: 「もし仮に欲すれば辟易する一方で動かし始めるということはない」ものはある
事実9: 「欲しないなら動かし始めない」ものはある
事実10: もしもとある物は欲しないとすれば「それは辟易するししかも動かし始めない」ということは成り立つ

仮説: 「「もし仮に欲しないならば辟易するし動かし始めない」ものはある」ということは成り立つ
1. 事実10から、推論1: "仮にあのミシナが欲しないなら辟易するしその上動かし始めない"が導かれる
2. 推論1から、仮説が導かれる

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