その当該法定受託事務は複雑怪奇でない
fact1: この任命手続きは想到しないがしかしすっごーい fact2: もしこの任命手続きが勿体無くないならその当該法定受託事務は複雑怪奇でないけれどオクラホマシティである fact3: 仮にこの任命手続きは想到しないがすっごーいなら「それは勿体無いということはない」ということは事実である fact4: この任命手続きはすっごーい fact5: もし「ある物は勿体無い」ということは事実であるとしたら「オクラホマシティでなくて複雑怪奇である」ということは成り立たない fact6: 「なんらかの物はオクラホマシティでないが複雑怪奇である」ということは正しくないとすれば複雑怪奇でない
fact3 & fact1 -> int1: この任命手続きは勿体無くない; int1 & fact2 -> int2: その当該法定受託事務は複雑怪奇でないがオクラホマシティだ; int2 -> hypothesis;
fact3 & fact1 -> int1: ¬{B}{a}; int1 & fact2 -> int2: (¬{A}{b} & {C}{b}); int2 -> hypothesis;
この任命手続きは複雑怪奇でない
fact8 -> int3: もし「この任命手続きはオクラホマシティでないけど複雑怪奇だ」ということは間違っているとすると「それは複雑怪奇でない」ということは成り立つ; fact7 -> int4: もし仮にこの任命手続きは勿体無いとすれば「オクラホマシティでないけれど複雑怪奇である」ということは誤りである;
$facts$ = fact1: この任命手続きは想到しないがしかしすっごーい fact2: もしこの任命手続きが勿体無くないならその当該法定受託事務は複雑怪奇でないけれどオクラホマシティである fact3: 仮にこの任命手続きは想到しないがすっごーいなら「それは勿体無いということはない」ということは事実である fact4: この任命手続きはすっごーい fact5: もし「ある物は勿体無い」ということは事実であるとしたら「オクラホマシティでなくて複雑怪奇である」ということは成り立たない fact6: 「なんらかの物はオクラホマシティでないが複雑怪奇である」ということは正しくないとすれば複雑怪奇でない ; $hypothesis$ = その当該法定受託事務は複雑怪奇でない ; $proof$ = 
fact3 & fact1 -> int1: この任命手続きは勿体無くない; int1 & fact2 -> int2: その当該法定受託事務は複雑怪奇でないがオクラホマシティだ; int2 -> hypothesis; __PROVED__
事実1: この任命手続きは想到しないがしかしすっごーい
事実2: もしこの任命手続きが勿体無くないならその当該法定受託事務は複雑怪奇でないけれどオクラホマシティである
事実3: 仮にこの任命手続きは想到しないがすっごーいなら「それは勿体無いということはない」ということは事実である
事実4: この任命手続きはすっごーい
事実5: もし「ある物は勿体無い」ということは事実であるとしたら「オクラホマシティでなくて複雑怪奇である」ということは成り立たない
事実6: 「なんらかの物はオクラホマシティでないが複雑怪奇である」ということは正しくないとすれば複雑怪奇でない

仮説: その当該法定受託事務は複雑怪奇でない
1. 事実3と事実1から、推論1: "この任命手続きは勿体無くない"が導かれる
2. 推論1と事実2から、推論2: "その当該法定受託事務は複雑怪奇でないがオクラホマシティだ"が導かれる
3. 推論2から、仮説が導かれる

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