「「もし浪士達でないなら引き上げするし嗚咽しない」物はある」ということは成り立つ
fact1: もしもとあるものは歴史的諸科学でないとしたら遅いが会社更生でない fact2: 「仮にストリームソケットでないとしたら文学誌でない」ものはある fact3: 「コーティングしないなら受け入れられ易いけど七本槍でない」ものはある fact4: 「もし出し易いなら揮発し易くて上達しない」物はある fact5: 「もし仮に気高しということはないとすると甲斐甲斐しいしそれに色めく」ものはある fact6: もし仮にそのヴィヴィアンウエストウッドがけばけばしいとしたらそれは嗚咽するししかもそれは常連らしくない fact7: 仮にそのヴィヴィアンウエストウッドは大宣教命令でないとすると嗚咽するということはない fact8: 「もし浪士達であるとすれば引き上げするが嗚咽しない」ものはある fact9: もし仮にそのヴィヴィアンウエストウッドは浪士達でないとすると「それは夫婦らしいということはない」ということは事実である fact10: 仮にそのヴィヴィアンウエストウッドは浪士達でないなら引き上げするけれど嗚咽しない fact11: 「歴史的諸科学だということはないならすりすりする」ものはある
fact10 -> hypothesis;
「もし歴史的諸科学だということはないとすると遅いしおまけに会社更生でない」物はある
fact12 -> int1: もし仮に「その労働契約上は歴史的諸科学である」ということは偽だとすれば遅いがしかし会社更生でない; int1 -> hypothesis;
$facts$ = fact1: もしもとあるものは歴史的諸科学でないとしたら遅いが会社更生でない fact2: 「仮にストリームソケットでないとしたら文学誌でない」ものはある fact3: 「コーティングしないなら受け入れられ易いけど七本槍でない」ものはある fact4: 「もし出し易いなら揮発し易くて上達しない」物はある fact5: 「もし仮に気高しということはないとすると甲斐甲斐しいしそれに色めく」ものはある fact6: もし仮にそのヴィヴィアンウエストウッドがけばけばしいとしたらそれは嗚咽するししかもそれは常連らしくない fact7: 仮にそのヴィヴィアンウエストウッドは大宣教命令でないとすると嗚咽するということはない fact8: 「もし浪士達であるとすれば引き上げするが嗚咽しない」ものはある fact9: もし仮にそのヴィヴィアンウエストウッドは浪士達でないとすると「それは夫婦らしいということはない」ということは事実である fact10: 仮にそのヴィヴィアンウエストウッドは浪士達でないなら引き上げするけれど嗚咽しない fact11: 「歴史的諸科学だということはないならすりすりする」ものはある ; $hypothesis$ = 「「もし浪士達でないなら引き上げするし嗚咽しない」物はある」ということは成り立つ ; $proof$ = 
fact10 -> hypothesis; __PROVED__
事実1: もしもとあるものは歴史的諸科学でないとしたら遅いが会社更生でない
事実2: 「仮にストリームソケットでないとしたら文学誌でない」ものはある
事実3: 「コーティングしないなら受け入れられ易いけど七本槍でない」ものはある
事実4: 「もし出し易いなら揮発し易くて上達しない」物はある
事実5: 「もし仮に気高しということはないとすると甲斐甲斐しいしそれに色めく」ものはある
事実6: もし仮にそのヴィヴィアンウエストウッドがけばけばしいとしたらそれは嗚咽するししかもそれは常連らしくない
事実7: 仮にそのヴィヴィアンウエストウッドは大宣教命令でないとすると嗚咽するということはない
事実8: 「もし浪士達であるとすれば引き上げするが嗚咽しない」ものはある
事実9: もし仮にそのヴィヴィアンウエストウッドは浪士達でないとすると「それは夫婦らしいということはない」ということは事実である
事実10: 仮にそのヴィヴィアンウエストウッドは浪士達でないなら引き上げするけれど嗚咽しない
事実11: 「歴史的諸科学だということはないならすりすりする」ものはある

仮説: 「「もし浪士達でないなら引き上げするし嗚咽しない」物はある」ということは成り立つ
1. 事実10から、仮説が導かれる

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