「その環境保全効果は甚だしない一方で末期だ」ということは成り立つということはない
fact1: 何らかのものは手際良い fact2: 仮に「手際良い」物はあるとすれば「あの異性間は積み終わるかまたは青くない」ということは間違っている fact3: もしも「あの異性間は積み終わるかまたはそれは青くないか両方である」ということは誤っているとすればその大任は末期でない fact4: もし仮に「その大任は末期でない」ということは成り立つとするとその環境保全効果は甚だしないが末期だ
fact1 & fact2 -> int1: 「あの異性間は積み終わるかそれは青いということはないかもしくはどちらもだ」ということは成り立つということはない; int1 & fact3 -> int2: その大任は末期でない; int2 & fact4 -> hypothesis;
fact1 & fact2 -> int1: ¬({B}{a} v ¬{C}{a}); int1 & fact3 -> int2: ¬{D}{b}; int2 & fact4 -> hypothesis;
$facts$ = fact1: 何らかのものは手際良い fact2: 仮に「手際良い」物はあるとすれば「あの異性間は積み終わるかまたは青くない」ということは間違っている fact3: もしも「あの異性間は積み終わるかまたはそれは青くないか両方である」ということは誤っているとすればその大任は末期でない fact4: もし仮に「その大任は末期でない」ということは成り立つとするとその環境保全効果は甚だしないが末期だ ; $hypothesis$ = 「その環境保全効果は甚だしない一方で末期だ」ということは成り立つということはない ; $proof$ = 
fact1 & fact2 -> int1: 「あの異性間は積み終わるかそれは青いということはないかもしくはどちらもだ」ということは成り立つということはない; int1 & fact3 -> int2: その大任は末期でない; int2 & fact4 -> hypothesis; __DISPROVED__
事実1: 何らかのものは手際良い
事実2: 仮に「手際良い」物はあるとすれば「あの異性間は積み終わるかまたは青くない」ということは間違っている
事実3: もしも「あの異性間は積み終わるかまたはそれは青くないか両方である」ということは誤っているとすればその大任は末期でない
事実4: もし仮に「その大任は末期でない」ということは成り立つとするとその環境保全効果は甚だしないが末期だ

仮説: 「その環境保全効果は甚だしない一方で末期だ」ということは成り立つということはない
1. 事実1と事実2から、推論1: "「あの異性間は積み終わるかそれは青いということはないかもしくはどちらもだ」ということは成り立つということはない"が導かれる
2. 推論1と事実3から、推論2: "その大任は末期でない"が導かれる
3. 推論2と事実4から、仮説が否定される

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