この老住職は受け難いということはないかもしくは実人生であるということはない
fact1: 仮にあの土色が劣化ウラン弾だとしたらこの高給取りは実人生だ fact2: もし仮にこの高給取りは実人生であるならば「この老住職は受け難くないかまたは実人生でないか両方だ」ということは成り立たない fact3: あの土色は企業化でないかそれは団交であるかあるいはどちらもである fact4: もしあの土色は企業化でないかもしくは団交であるかどちらもであるとすると「それは劣化ウラン弾だ」ということは成り立つ
fact4 & fact3 -> int1: あの土色は劣化ウラン弾だ; int1 & fact1 -> int2: この高給取りは実人生だ; int2 & fact2 -> hypothesis;
fact4 & fact3 -> int1: {B}{a}; int1 & fact1 -> int2: {A}{b}; int2 & fact2 -> hypothesis;
$facts$ = fact1: 仮にあの土色が劣化ウラン弾だとしたらこの高給取りは実人生だ fact2: もし仮にこの高給取りは実人生であるならば「この老住職は受け難くないかまたは実人生でないか両方だ」ということは成り立たない fact3: あの土色は企業化でないかそれは団交であるかあるいはどちらもである fact4: もしあの土色は企業化でないかもしくは団交であるかどちらもであるとすると「それは劣化ウラン弾だ」ということは成り立つ ; $hypothesis$ = この老住職は受け難いということはないかもしくは実人生であるということはない ; $proof$ = 
fact4 & fact3 -> int1: あの土色は劣化ウラン弾だ; int1 & fact1 -> int2: この高給取りは実人生だ; int2 & fact2 -> hypothesis; __DISPROVED__
事実1: 仮にあの土色が劣化ウラン弾だとしたらこの高給取りは実人生だ
事実2: もし仮にこの高給取りは実人生であるならば「この老住職は受け難くないかまたは実人生でないか両方だ」ということは成り立たない
事実3: あの土色は企業化でないかそれは団交であるかあるいはどちらもである
事実4: もしあの土色は企業化でないかもしくは団交であるかどちらもであるとすると「それは劣化ウラン弾だ」ということは成り立つ

仮説: この老住職は受け難いということはないかもしくは実人生であるということはない
1. 事実4と事実3から、推論1: "あの土色は劣化ウラン弾だ"が導かれる
2. 推論1と事実1から、推論2: "この高給取りは実人生だ"が導かれる
3. 推論2と事実2から、仮説が否定される

よって、仮説が否定されました。