「もしも「四百回転でない一方で頼み難い」ということは間違っているとすると「就労条件でない」ということは成り立つ」ものはある
fact1: 「仮に「四百回転で頼み難い」ということは誤りだとしたら就労条件でない」物はある fact2: このバーベナは四百回転であるならばそれは就労条件でない fact3: 仮に「このバーベナは四百回転でないがそれは頼み難い」ということは成り立たないならそれは就労条件でない fact4: 「あの天道虫はミラー効果でない一方で握り合う」ということは本当だとしたらそれは惨敗するということはない fact5: 「仮に「村落共同体でないが入り難い」ということは偽であるなら黒くない」物はある fact6: 「もし仮に四百回転であるとすると就労条件でない」ものはある fact7: もし仮に「「ある物はびくびくしないがしかし用足しする」ということは正しい」ということは成り立たないとしたら「それは御起こししない」ということは確かである
fact3 -> hypothesis;
「もし「びくびくしないがしかし用足しする」ということは事実と異なるとすると御起こししない」ものはある
fact8 -> int1: もし仮に「そのアレキサンドライトレーザーはびくびくしないが用足しする」ということは真実であるということはないとすると御起こししない; int1 -> hypothesis;
$facts$ = fact1: 「仮に「四百回転で頼み難い」ということは誤りだとしたら就労条件でない」物はある fact2: このバーベナは四百回転であるならばそれは就労条件でない fact3: 仮に「このバーベナは四百回転でないがそれは頼み難い」ということは成り立たないならそれは就労条件でない fact4: 「あの天道虫はミラー効果でない一方で握り合う」ということは本当だとしたらそれは惨敗するということはない fact5: 「仮に「村落共同体でないが入り難い」ということは偽であるなら黒くない」物はある fact6: 「もし仮に四百回転であるとすると就労条件でない」ものはある fact7: もし仮に「「ある物はびくびくしないがしかし用足しする」ということは正しい」ということは成り立たないとしたら「それは御起こししない」ということは確かである ; $hypothesis$ = 「もしも「四百回転でない一方で頼み難い」ということは間違っているとすると「就労条件でない」ということは成り立つ」ものはある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「仮に「四百回転で頼み難い」ということは誤りだとしたら就労条件でない」物はある
事実2: このバーベナは四百回転であるならばそれは就労条件でない
事実3: 仮に「このバーベナは四百回転でないがそれは頼み難い」ということは成り立たないならそれは就労条件でない
事実4: 「あの天道虫はミラー効果でない一方で握り合う」ということは本当だとしたらそれは惨敗するということはない
事実5: 「仮に「村落共同体でないが入り難い」ということは偽であるなら黒くない」物はある
事実6: 「もし仮に四百回転であるとすると就労条件でない」ものはある
事実7: もし仮に「「ある物はびくびくしないがしかし用足しする」ということは正しい」ということは成り立たないとしたら「それは御起こししない」ということは確かである

仮説: 「もしも「四百回転でない一方で頼み難い」ということは間違っているとすると「就労条件でない」ということは成り立つ」ものはある
1. 事実3から、仮説が導かれる

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