ぽのぽねLv.98事件は起きない
fact1: もし「惨たらしいということは起きない」ということは成り立つとすれば白っぽいということかもしくは合宿することかもしくは両方ともが起こる fact2: もし合宿することおよびぽのぽねLv.98事件両方が生じるとすると「白っぽいということは生じない」ということは確かだ fact3: 白っぽいということが発生する fact4: 合宿することが起こる fact5: 「惨たらしいということが起こる」ということは「ぽなぽなLv.72事件は発生しないがしかし黒いということが起きる」ということに阻止される fact6: ぷにぷなLv.32事件は生じない fact7: ぽのぽねLv.98事件かもしくは「まいまえLv.53事件は発生しない」ということはまいまえLv.53事件は起きないということのきっかけとなる fact8: 「認め難いということは生じない」ということは事実である
void -> assump1: 以下のように仮定する。ぽのぽねLv.98事件が起きる; fact4 & assump1 -> int1: 合宿することが起こるし加えてぽのぽねLv.98事件が生じる; int1 & fact2 -> int2: 「白っぽいということは起きない」ということは間違っていない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}; fact4 & assump1 -> int1: ({A} & {B}); int1 & fact2 -> int2: ¬{C}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis;
まいまえLv.53事件は生じない
$facts$ = fact1: もし「惨たらしいということは起きない」ということは成り立つとすれば白っぽいということかもしくは合宿することかもしくは両方ともが起こる fact2: もし合宿することおよびぽのぽねLv.98事件両方が生じるとすると「白っぽいということは生じない」ということは確かだ fact3: 白っぽいということが発生する fact4: 合宿することが起こる fact5: 「惨たらしいということが起こる」ということは「ぽなぽなLv.72事件は発生しないがしかし黒いということが起きる」ということに阻止される fact6: ぷにぷなLv.32事件は生じない fact7: ぽのぽねLv.98事件かもしくは「まいまえLv.53事件は発生しない」ということはまいまえLv.53事件は起きないということのきっかけとなる fact8: 「認め難いということは生じない」ということは事実である ; $hypothesis$ = ぽのぽねLv.98事件は起きない ; $proof$ = 
void -> assump1: 以下のように仮定する。ぽのぽねLv.98事件が起きる; fact4 & assump1 -> int1: 合宿することが起こるし加えてぽのぽねLv.98事件が生じる; int1 & fact2 -> int2: 「白っぽいということは起きない」ということは間違っていない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {B}; fact4 & assump1 -> int1: ({A} & {B}); int1 & fact2 -> int2: ¬{C}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__