あの自己暗示は書き起こす
fact1: もしも何らかのものが第二分野ならそれは市町村社協だ一方で作業し易くない fact2: 作業し易くないものは見極め難くない一方で抜き方だ fact3: なにかは分かりゃしない fact4: この見解は見極め難くないけれど市町村社協である fact5: もし仮にこの見解が見極め難くない物で抜き方ならあの自己暗示は市町村社協だ fact6: もし仮にこの見解が書き起こさないが抜き方であるならばあの自己暗示は作業し易い fact7: 仮にとあるものが市町村社協でないとすれば稼げない fact8: もしも「この見解は第二分野でなくて稼げない」ということは間違いであるなら作業し易いということはない fact9: 「「この見解は第二分野でなくてそれは稼げるということはない」ということは事実だ」ということは成り立たない fact10: ある物が市町村社協なら書き起こす fact11: この見解は他国者だ
fact2 -> int1: この見解は作業し易くないなら「見極め難くないけれど抜き方である」ということは本当だ; fact8 & fact9 -> int2: この見解は作業し易くない; int1 & int2 -> int3: この見解は見極め難くない一方で抜き方だ; int3 & fact5 -> int4: あの自己暗示は市町村社協だ; fact10 -> int5: 仮にあの自己暗示は市町村社協なら「書き起こす」ということは真実である; int4 & int5 -> hypothesis;
あの自己暗示は書き起こさない
fact13 -> int6: もし仮に「あの自己暗示は第二分野だ」ということは事実と異ならないとしたらそれは市町村社協で加えて作業し易くない;
$facts$ = fact1: もしも何らかのものが第二分野ならそれは市町村社協だ一方で作業し易くない fact2: 作業し易くないものは見極め難くない一方で抜き方だ fact3: なにかは分かりゃしない fact4: この見解は見極め難くないけれど市町村社協である fact5: もし仮にこの見解が見極め難くない物で抜き方ならあの自己暗示は市町村社協だ fact6: もし仮にこの見解が書き起こさないが抜き方であるならばあの自己暗示は作業し易い fact7: 仮にとあるものが市町村社協でないとすれば稼げない fact8: もしも「この見解は第二分野でなくて稼げない」ということは間違いであるなら作業し易いということはない fact9: 「「この見解は第二分野でなくてそれは稼げるということはない」ということは事実だ」ということは成り立たない fact10: ある物が市町村社協なら書き起こす fact11: この見解は他国者だ ; $hypothesis$ = あの自己暗示は書き起こす ; $proof$ = 
fact2 -> int1: この見解は作業し易くないなら「見極め難くないけれど抜き方である」ということは本当だ; fact8 & fact9 -> int2: この見解は作業し易くない; int1 & int2 -> int3: この見解は見極め難くない一方で抜き方だ; int3 & fact5 -> int4: あの自己暗示は市町村社協だ; fact10 -> int5: 仮にあの自己暗示は市町村社協なら「書き起こす」ということは真実である; int4 & int5 -> hypothesis; __PROVED__
事実1: もしも何らかのものが第二分野ならそれは市町村社協だ一方で作業し易くない
事実2: 作業し易くないものは見極め難くない一方で抜き方だ
事実3: なにかは分かりゃしない
事実4: この見解は見極め難くないけれど市町村社協である
事実5: もし仮にこの見解が見極め難くない物で抜き方ならあの自己暗示は市町村社協だ
事実6: もし仮にこの見解が書き起こさないが抜き方であるならばあの自己暗示は作業し易い
事実7: 仮にとあるものが市町村社協でないとすれば稼げない
事実8: もしも「この見解は第二分野でなくて稼げない」ということは間違いであるなら作業し易いということはない
事実9: 「「この見解は第二分野でなくてそれは稼げるということはない」ということは事実だ」ということは成り立たない
事実10: ある物が市町村社協なら書き起こす
事実11: この見解は他国者だ

仮説: あの自己暗示は書き起こす
1. 事実2から、推論1: "この見解は作業し易くないなら「見極め難くないけれど抜き方である」ということは本当だ"が導かれる
2. 事実8と事実9から、推論2: "この見解は作業し易くない"が導かれる
3. 推論1と推論2から、推論3: "この見解は見極め難くない一方で抜き方だ"が導かれる
4. 推論3と事実5から、推論4: "あの自己暗示は市町村社協だ"が導かれる
5. 事実10から、推論5: "仮にあの自己暗示は市町村社協なら「書き起こす」ということは真実である"が導かれる
6. 推論4と推論5から、仮説が導かれる

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