すげないということは起きない
fact1: まにまちゃLv.40事件はすげないということは起こらないということかまたはもにもねLv.67事件かまたは両方ともに由来する fact2: もにもねLv.67事件が生じる fact3: 仮にもにもねLv.67事件およびすげないということが起きるとすると「ぽにょぽちゃLv.27事件は生じない」ということは本当だ fact4: ぽにょぽちゃLv.27事件が発生する
void -> assump1: 以下のように仮定する。すげないということが生じる; fact2 & assump1 -> int1: もにもねLv.67事件とすげないということが生じる; int1 & fact3 -> int2: ぽにょぽちゃLv.27事件は起こらない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}; fact2 & assump1 -> int1: ({A} & {B}); int1 & fact3 -> int2: ¬{C}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis;
まにまちゃLv.40事件とだだっ広いということ両方ともが発生する
$facts$ = fact1: まにまちゃLv.40事件はすげないということは起こらないということかまたはもにもねLv.67事件かまたは両方ともに由来する fact2: もにもねLv.67事件が生じる fact3: 仮にもにもねLv.67事件およびすげないということが起きるとすると「ぽにょぽちゃLv.27事件は生じない」ということは本当だ fact4: ぽにょぽちゃLv.27事件が発生する ; $hypothesis$ = すげないということは起きない ; $proof$ = 
void -> assump1: 以下のように仮定する。すげないということが生じる; fact2 & assump1 -> int1: もにもねLv.67事件とすげないということが生じる; int1 & fact3 -> int2: ぽにょぽちゃLv.27事件は起こらない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {B}; fact2 & assump1 -> int1: ({A} & {B}); int1 & fact3 -> int2: ¬{C}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__