「あの卒論は当該労働者である」ということは確かである
fact1: このシェードは酔い易くない fact2: もし仮になんらかのものは当該労働者でないとすると「酔い易いということはないが御上がり下さる」ということは成り立たない fact3: もしもあの雑草が想定し難いとするとこの世界線は直立する fact4: もしなにかは直立するしおまけに怖がればこのシェードは直送しない fact5: この世界線が怖がるしその上それは管理し易い fact6: 「「あの雑草は想定し難くない」ということは真実だ」ということは間違っている fact7: もしも「「「酔い易くないがしかし御上がり下さる」ということは真実である」ということは成り立つということはない」ものがあるならばあのシェードは直送する
fact2 -> int1: 仮にあの卒論は当該労働者でないなら「それは酔い易くないけれど御上がり下さる」ということは成り立たない; void -> assump1: 以下のように仮定する。あの卒論は当該労働者でない; int1 & assump1 -> int2: 「あの卒論は酔い易くない一方で御上がり下さる」ということは成り立たない; int2 -> int3: 「「酔い易くない一方で御上がり下さる」ということは成り立たない」物はある; int3 & fact7 -> int4: このシェードは直送する; fact6 & fact3 -> int5: この世界線は直立する; fact5 -> int6: この世界線は怖がる; int5 & int6 -> int7: この世界線が直立するしその上それは怖がる; int7 -> int8: 「直立するしその上怖がる」ものはある; fact4 & int8 -> int9: このシェードは直送しない; int4 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis;
$facts$ = fact1: このシェードは酔い易くない fact2: もし仮になんらかのものは当該労働者でないとすると「酔い易いということはないが御上がり下さる」ということは成り立たない fact3: もしもあの雑草が想定し難いとするとこの世界線は直立する fact4: もしなにかは直立するしおまけに怖がればこのシェードは直送しない fact5: この世界線が怖がるしその上それは管理し易い fact6: 「「あの雑草は想定し難くない」ということは真実だ」ということは間違っている fact7: もしも「「「酔い易くないがしかし御上がり下さる」ということは真実である」ということは成り立つということはない」ものがあるならばあのシェードは直送する ; $hypothesis$ = 「あの卒論は当該労働者である」ということは確かである ; $proof$ = 
fact2 -> int1: 仮にあの卒論は当該労働者でないなら「それは酔い易くないけれど御上がり下さる」ということは成り立たない; void -> assump1: 以下のように仮定する。あの卒論は当該労働者でない; int1 & assump1 -> int2: 「あの卒論は酔い易くない一方で御上がり下さる」ということは成り立たない; int2 -> int3: 「「酔い易くない一方で御上がり下さる」ということは成り立たない」物はある; int3 & fact7 -> int4: このシェードは直送する; fact6 & fact3 -> int5: この世界線は直立する; fact5 -> int6: この世界線は怖がる; int5 & int6 -> int7: この世界線が直立するしその上それは怖がる; int7 -> int8: 「直立するしその上怖がる」ものはある; fact4 & int8 -> int9: このシェードは直送しない; int4 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis; __PROVED__
事実1: このシェードは酔い易くない
事実2: もし仮になんらかのものは当該労働者でないとすると「酔い易いということはないが御上がり下さる」ということは成り立たない
事実3: もしもあの雑草が想定し難いとするとこの世界線は直立する
事実4: もしなにかは直立するしおまけに怖がればこのシェードは直送しない
事実5: この世界線が怖がるしその上それは管理し易い
事実6: 「「あの雑草は想定し難くない」ということは真実だ」ということは間違っている
事実7: もしも「「「酔い易くないがしかし御上がり下さる」ということは真実である」ということは成り立つということはない」ものがあるならばあのシェードは直送する

仮説: 「あの卒論は当該労働者である」ということは確かである
1. 事実2から、推論1: "仮にあの卒論は当該労働者でないなら「それは酔い易くないけれど御上がり下さる」ということは成り立たない"が導かれる
2. 仮定1: 以下のように仮定する。あの卒論は当該労働者でない
3. 推論1と仮定1から、推論2: "「あの卒論は酔い易くない一方で御上がり下さる」ということは成り立たない"が導かれる
4. 推論2から、推論3: "「「酔い易くない一方で御上がり下さる」ということは成り立たない」物はある"が導かれる
5. 推論3と事実7から、推論4: "このシェードは直送する"が導かれる
6. 事実6と事実3から、推論5: "この世界線は直立する"が導かれる
7. 事実5から、推論6: "この世界線は怖がる"が導かれる
8. 推論5と推論6から、推論7: "この世界線が直立するしその上それは怖がる"が導かれる
9. 推論7から、推論8: "「直立するしその上怖がる」ものはある"が導かれる
10. 事実4と推論8から、推論9: "このシェードは直送しない"が導かれる
11. 推論4と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、仮説が導かれる

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