「「無害化するということはなくてそれにトラフィックだ」ということは成り立たない」物はある
fact1: 仮になにかは委任しないとしたら「それは無害化しないけれどトラフィックである」ということは本当でない fact2: もしも「あの同章は逢着しないけれど樹立する」ということは真実であるということはないならば委任しない fact3: 「あの同章は逢着しないけど樹立する」ということは成り立つということはない
fact2 & fact3 -> int1: 「あの同章は委任するということはない」ということは事実である; fact1 -> int2: あの同章は委任しないとしたら「それは無害化しないしそれにトラフィックだ」ということは嘘である; int1 & int2 -> int3: 「あの同章は無害化しないがそれはトラフィックである」ということは間違いだ; int3 -> hypothesis;
fact2 & fact3 -> int1: ¬{B}{a}; fact1 -> int2: ¬{B}{a} -> ¬(¬{C}{a} & {A}{a}); int1 & int2 -> int3: ¬(¬{C}{a} & {A}{a}); int3 -> hypothesis;
$facts$ = fact1: 仮になにかは委任しないとしたら「それは無害化しないけれどトラフィックである」ということは本当でない fact2: もしも「あの同章は逢着しないけれど樹立する」ということは真実であるということはないならば委任しない fact3: 「あの同章は逢着しないけど樹立する」ということは成り立つということはない ; $hypothesis$ = 「「無害化するということはなくてそれにトラフィックだ」ということは成り立たない」物はある ; $proof$ = 
fact2 & fact3 -> int1: 「あの同章は委任するということはない」ということは事実である; fact1 -> int2: あの同章は委任しないとしたら「それは無害化しないしそれにトラフィックだ」ということは嘘である; int1 & int2 -> int3: 「あの同章は無害化しないがそれはトラフィックである」ということは間違いだ; int3 -> hypothesis; __PROVED__
事実1: 仮になにかは委任しないとしたら「それは無害化しないけれどトラフィックである」ということは本当でない
事実2: もしも「あの同章は逢着しないけれど樹立する」ということは真実であるということはないならば委任しない
事実3: 「あの同章は逢着しないけど樹立する」ということは成り立つということはない

仮説: 「「無害化するということはなくてそれにトラフィックだ」ということは成り立たない」物はある
1. 事実2と事実3から、推論1: "「あの同章は委任するということはない」ということは事実である"が導かれる
2. 事実1から、推論2: "あの同章は委任しないとしたら「それは無害化しないしそれにトラフィックだ」ということは嘘である"が導かれる
3. 推論1と推論2から、推論3: "「あの同章は無害化しないがそれはトラフィックである」ということは間違いだ"が導かれる
4. 推論3から、仮説が導かれる

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