この遠望は常傭する
fact1: もし「なんらかのものは人為的手段でないが隠し切れる」ということは間違いであるなら「それは野菜作りでない」ということは成り立つ fact2: 人為的手段でないが隠し切れるというものはない fact3: もしもなんらかのものが野菜作りでないとすれば常傭する fact4: もし仮にこの遠望は隠し切れないとすれば「それは野菜作りでない」ということは事実だ
fact1 -> int1: もしも「この遠望は人為的手段でないけれどそれは隠し切れる」ということは成り立たないとすると野菜作りでない; fact2 -> int2: 「この遠望は人為的手段でないけれどそれは隠し切れる」ということは間違いだ; int1 & int2 -> int3: この遠望は野菜作りでない; fact3 -> int4: もしもこの遠望は野菜作りでないとすると常傭する; int3 & int4 -> hypothesis;
$facts$ = fact1: もし「なんらかのものは人為的手段でないが隠し切れる」ということは間違いであるなら「それは野菜作りでない」ということは成り立つ fact2: 人為的手段でないが隠し切れるというものはない fact3: もしもなんらかのものが野菜作りでないとすれば常傭する fact4: もし仮にこの遠望は隠し切れないとすれば「それは野菜作りでない」ということは事実だ ; $hypothesis$ = この遠望は常傭する ; $proof$ = 
fact1 -> int1: もしも「この遠望は人為的手段でないけれどそれは隠し切れる」ということは成り立たないとすると野菜作りでない; fact2 -> int2: 「この遠望は人為的手段でないけれどそれは隠し切れる」ということは間違いだ; int1 & int2 -> int3: この遠望は野菜作りでない; fact3 -> int4: もしもこの遠望は野菜作りでないとすると常傭する; int3 & int4 -> hypothesis; __PROVED__
事実1: もし「なんらかのものは人為的手段でないが隠し切れる」ということは間違いであるなら「それは野菜作りでない」ということは成り立つ
事実2: 人為的手段でないが隠し切れるというものはない
事実3: もしもなんらかのものが野菜作りでないとすれば常傭する
事実4: もし仮にこの遠望は隠し切れないとすれば「それは野菜作りでない」ということは事実だ

仮説: この遠望は常傭する
1. 事実1から、推論1: "もしも「この遠望は人為的手段でないけれどそれは隠し切れる」ということは成り立たないとすると野菜作りでない"が導かれる
2. 事実2から、推論2: "「この遠望は人為的手段でないけれどそれは隠し切れる」ということは間違いだ"が導かれる
3. 推論1と推論2から、推論3: "この遠望は野菜作りでない"が導かれる
4. 事実3から、推論4: "もしもこの遠望は野菜作りでないとすると常傭する"が導かれる
5. 推論3と推論4から、仮説が導かれる

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