そのソースは及び難いということはない
fact1: 堆くない物は輝かしいかまたは与え難い fact2: そのソースは輝かしい fact3: 仮に与え難いものが輝かしいならば及び難くない fact4: そのソースは与え難い
fact4 & fact2 -> int1: そのソースは与え難いし更に輝かしい; fact3 -> int2: そのソースが与え難くて加えてそれが輝かしいとすればそれは及び難くない; int1 & int2 -> hypothesis;
fact4 & fact2 -> int1: ({A}{a} & {B}{a}); fact3 -> int2: ({A}{a} & {B}{a}) -> ¬{C}{a}; int1 & int2 -> hypothesis;
そのソースは及び難い
fact5 -> int3: もしもそのソースが堆くないとすると輝かしいかもしくはそれは与え難い;
$facts$ = fact1: 堆くない物は輝かしいかまたは与え難い fact2: そのソースは輝かしい fact3: 仮に与え難いものが輝かしいならば及び難くない fact4: そのソースは与え難い ; $hypothesis$ = そのソースは及び難いということはない ; $proof$ = 
fact4 & fact2 -> int1: そのソースは与え難いし更に輝かしい; fact3 -> int2: そのソースが与え難くて加えてそれが輝かしいとすればそれは及び難くない; int1 & int2 -> hypothesis; __PROVED__
事実1: 堆くない物は輝かしいかまたは与え難い
事実2: そのソースは輝かしい
事実3: 仮に与え難いものが輝かしいならば及び難くない
事実4: そのソースは与え難い

仮説: そのソースは及び難いということはない
1. 事実4と事実2から、推論1: "そのソースは与え難いし更に輝かしい"が導かれる
2. 事実3から、推論2: "そのソースが与え難くて加えてそれが輝かしいとすればそれは及び難くない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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