「あの割り勘は分取するしまた逃避する」ということは嘘である
fact1: なんらかのものは通電しないとしたら「分取するししかもそれは逃避する」ということは成り立たない fact2: あのＶＭＤは分取する fact3: 仮にしゃあ無い物は確定拠出型であるなら通電しない fact4: あの割り勘は逃避する fact5: あの割り勘は分取する
fact5 & fact4 -> hypothesis;
fact5 & fact4 -> hypothesis;
「あの割り勘は分取するしかつ逃避する」ということは間違っている
fact6 -> int1: 「「あの割り勘は通電しない」ということは確かであるとしたら「あの割り勘は分取するし逃避する」ということは嘘だ」ということは本当だ; fact7 -> int2: もし仮にあの割り勘がしゃあ無くて確定拠出型だとしたら「それは通電しない」ということは確かである;
$facts$ = fact1: なんらかのものは通電しないとしたら「分取するししかもそれは逃避する」ということは成り立たない fact2: あのＶＭＤは分取する fact3: 仮にしゃあ無い物は確定拠出型であるなら通電しない fact4: あの割り勘は逃避する fact5: あの割り勘は分取する ; $hypothesis$ = 「あの割り勘は分取するしまた逃避する」ということは嘘である ; $proof$ = 
fact5 & fact4 -> hypothesis; __DISPROVED__
事実1: なんらかのものは通電しないとしたら「分取するししかもそれは逃避する」ということは成り立たない
事実2: あのＶＭＤは分取する
事実3: 仮にしゃあ無い物は確定拠出型であるなら通電しない
事実4: あの割り勘は逃避する
事実5: あの割り勘は分取する

仮説: 「あの割り勘は分取するしまた逃避する」ということは嘘である
1. 事実5と事実4から、仮説が否定される

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