「「小汚くないとしたら「大人ししおまけに退役する」ということは誤りである」物はある」ということは成り立つ
fact1: あの派遣労働者が小汚くないとすると大人しし更にそれは退役する fact2: 「もし「小汚くない」ということは成り立つとしたら大人しし退役する」物はある fact3: 「もし仮に小汚いとすると「大人しし退役する」ということは事実と異なる」ものはある fact4: もしもなにがしかのものは御助け下さらないとしたら「難しいしかつそれは工事費だ」ということは成り立たない fact5: 仮にあの派遣労働者は小汚くないとすれば「大人しし退役する」ということは成り立たない fact6: 「仮に鎮静薬でないならばラーメンだしまた読経する」物はある
fact5 -> hypothesis;
「御助け下さらないとしたら「難しいし工事費だ」ということは事実であるということはない」ものはある
fact7 -> int1: 「仮にそのサーチライトは御助け下さらないなら「そのサーチライトは難しいしさらに工事費だ」ということは偽だ」ということは事実だ; int1 -> hypothesis;
$facts$ = fact1: あの派遣労働者が小汚くないとすると大人しし更にそれは退役する fact2: 「もし「小汚くない」ということは成り立つとしたら大人しし退役する」物はある fact3: 「もし仮に小汚いとすると「大人しし退役する」ということは事実と異なる」ものはある fact4: もしもなにがしかのものは御助け下さらないとしたら「難しいしかつそれは工事費だ」ということは成り立たない fact5: 仮にあの派遣労働者は小汚くないとすれば「大人しし退役する」ということは成り立たない fact6: 「仮に鎮静薬でないならばラーメンだしまた読経する」物はある ; $hypothesis$ = 「「小汚くないとしたら「大人ししおまけに退役する」ということは誤りである」物はある」ということは成り立つ ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: あの派遣労働者が小汚くないとすると大人しし更にそれは退役する
事実2: 「もし「小汚くない」ということは成り立つとしたら大人しし退役する」物はある
事実3: 「もし仮に小汚いとすると「大人しし退役する」ということは事実と異なる」ものはある
事実4: もしもなにがしかのものは御助け下さらないとしたら「難しいしかつそれは工事費だ」ということは成り立たない
事実5: 仮にあの派遣労働者は小汚くないとすれば「大人しし退役する」ということは成り立たない
事実6: 「仮に鎮静薬でないならばラーメンだしまた読経する」物はある

仮説: 「「小汚くないとしたら「大人ししおまけに退役する」ということは誤りである」物はある」ということは成り立つ
1. 事実5から、仮説が導かれる

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