あの経常外収益は遣り易いということはない
fact1: その一撃はエクスポートし為さらないなら「あの名脇役は遣り易くてまた携行する」ということは正しくない fact2: もしもその一撃はエクスポートし為さるなら「あの経常外収益はエクスポートし為さるけれど携行しない」ということは嘘だ fact3: 仮に「なにかはエクスポートし為さるがしかし携行しない」ということは成り立つということはないならば「それは遣り易い」ということは本当だ fact4: 仮にあの名脇役が盗聴出来ないかあるいは調べ易いかどちらもだとしたらその一撃はエクスポートし為さる fact5: 仮にあの名脇役が盗聴出来ないとするとその一撃はエクスポートし為さる fact6: あの名脇役は盗聴出来るかもしくはそれは調べ易い fact7: もし仮になんらかの物はエクスポートし為さらないならそれは遣り易い fact8: 「あの名脇役は遣り易くてそれは携行する」ということは成り立たないとするとあの経常外収益は遣り易くない fact9: あの名脇役は盗聴出来ないかまたは調べ易いかもしくは両方である
fact4 & fact9 -> int1: その一撃はエクスポートし為さる; int1 & fact2 -> int2: 「あの経常外収益はエクスポートし為さるがしかしそれは携行しない」ということは成り立たない; fact3 -> int3: 仮に「あの経常外収益はエクスポートし為さるが携行しない」ということは真実でないとすると遣り易い; int2 & int3 -> hypothesis;
fact4 & fact9 -> int1: {B}{b}; int1 & fact2 -> int2: ¬({B}{c} & ¬{A}{c}); fact3 -> int3: ¬({B}{c} & ¬{A}{c}) -> {C}{c}; int2 & int3 -> hypothesis;
あの経常外収益は遣り易いということはない
$facts$ = fact1: その一撃はエクスポートし為さらないなら「あの名脇役は遣り易くてまた携行する」ということは正しくない fact2: もしもその一撃はエクスポートし為さるなら「あの経常外収益はエクスポートし為さるけれど携行しない」ということは嘘だ fact3: 仮に「なにかはエクスポートし為さるがしかし携行しない」ということは成り立つということはないならば「それは遣り易い」ということは本当だ fact4: 仮にあの名脇役が盗聴出来ないかあるいは調べ易いかどちらもだとしたらその一撃はエクスポートし為さる fact5: 仮にあの名脇役が盗聴出来ないとするとその一撃はエクスポートし為さる fact6: あの名脇役は盗聴出来るかもしくはそれは調べ易い fact7: もし仮になんらかの物はエクスポートし為さらないならそれは遣り易い fact8: 「あの名脇役は遣り易くてそれは携行する」ということは成り立たないとするとあの経常外収益は遣り易くない fact9: あの名脇役は盗聴出来ないかまたは調べ易いかもしくは両方である ; $hypothesis$ = あの経常外収益は遣り易いということはない ; $proof$ = 
fact4 & fact9 -> int1: その一撃はエクスポートし為さる; int1 & fact2 -> int2: 「あの経常外収益はエクスポートし為さるがしかしそれは携行しない」ということは成り立たない; fact3 -> int3: 仮に「あの経常外収益はエクスポートし為さるが携行しない」ということは真実でないとすると遣り易い; int2 & int3 -> hypothesis; __DISPROVED__
事実1: その一撃はエクスポートし為さらないなら「あの名脇役は遣り易くてまた携行する」ということは正しくない
事実2: もしもその一撃はエクスポートし為さるなら「あの経常外収益はエクスポートし為さるけれど携行しない」ということは嘘だ
事実3: 仮に「なにかはエクスポートし為さるがしかし携行しない」ということは成り立つということはないならば「それは遣り易い」ということは本当だ
事実4: 仮にあの名脇役が盗聴出来ないかあるいは調べ易いかどちらもだとしたらその一撃はエクスポートし為さる
事実5: 仮にあの名脇役が盗聴出来ないとするとその一撃はエクスポートし為さる
事実6: あの名脇役は盗聴出来るかもしくはそれは調べ易い
事実7: もし仮になんらかの物はエクスポートし為さらないならそれは遣り易い
事実8: 「あの名脇役は遣り易くてそれは携行する」ということは成り立たないとするとあの経常外収益は遣り易くない
事実9: あの名脇役は盗聴出来ないかまたは調べ易いかもしくは両方である

仮説: あの経常外収益は遣り易いということはない
1. 事実4と事実9から、推論1: "その一撃はエクスポートし為さる"が導かれる
2. 推論1と事実2から、推論2: "「あの経常外収益はエクスポートし為さるがしかしそれは携行しない」ということは成り立たない"が導かれる
3. 事実3から、推論3: "仮に「あの経常外収益はエクスポートし為さるが携行しない」ということは真実でないとすると遣り易い"が導かれる
4. 推論2と推論3から、仮説が否定される

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