みいみちょLv.75事件は起きない
fact1: もしもぷちゅぷゆLv.14事件が発生するとしたら生温かいということは起こらないかあるいはぽいぽちゃLv.71事件は起こらない fact2: ぽいぽちゃLv.71事件が発生する fact3: 生温かいということが発生する fact4: 「みいみちょLv.75事件および生温かいということが生じる」ということはぽいぽちゃLv.71事件を阻む
void -> assump1: 以下のように仮定する。みいみちょLv.75事件が起こる; assump1 & fact3 -> int1: みいみちょLv.75事件が生じるしまた生温かいということが起こる; int1 & fact4 -> int2: ぽいぽちゃLv.71事件は生じない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; assump1 & fact3 -> int1: ({A} & {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。みいみちょLv.75事件が起こる
$facts$ = fact1: もしもぷちゅぷゆLv.14事件が発生するとしたら生温かいということは起こらないかあるいはぽいぽちゃLv.71事件は起こらない fact2: ぽいぽちゃLv.71事件が発生する fact3: 生温かいということが発生する fact4: 「みいみちょLv.75事件および生温かいということが生じる」ということはぽいぽちゃLv.71事件を阻む ; $hypothesis$ = みいみちょLv.75事件は起きない ; $proof$ = 
void -> assump1: 以下のように仮定する。みいみちょLv.75事件が起こる; assump1 & fact3 -> int1: みいみちょLv.75事件が生じるしまた生温かいということが起こる; int1 & fact4 -> int2: ぽいぽちゃLv.71事件は生じない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}; assump1 & fact3 -> int1: ({A} & {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__