「ぷわぷちゃLv.60事件は生じない」ということは間違いであるということはない
fact1: まよまちゃLv.2事件が発生する fact2: みえみちゅLv.88事件が起きる fact3: みにゃみちゃLv.26事件は起こらない fact4: 「ぷわぷちゃLv.60事件が起きるしその上みえみちゅLv.88事件が起こる」ということはまよまちゃLv.2事件は起きないということを発生させる fact5: ぷわぷちゃLv.60事件は「みえみちゅLv.88事件は発生しない」ということに起因する fact6: 「忌まわしいということは生じない」ということは「みえみちゅLv.88事件ではなくてまよまちゃLv.2事件が起こる」ということを発生させる fact7: 「まよまちゃLv.2事件は発生しないかあるいは忌まわしいということは発生しないか両方ともだ」ということは「消化し易いということは起こらない」ということにもたらされる
void -> assump1: 以下のように仮定する。ぷわぷちゃLv.60事件が発生する; assump1 & fact2 -> int1: ぷわぷちゃLv.60事件とみえみちゅLv.88事件が発生する; int1 & fact4 -> int2: まよまちゃLv.2事件は発生しない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; assump1 & fact2 -> int1: ({A} & {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。ぷわぷちゃLv.60事件が発生する
$facts$ = fact1: まよまちゃLv.2事件が発生する fact2: みえみちゅLv.88事件が起きる fact3: みにゃみちゃLv.26事件は起こらない fact4: 「ぷわぷちゃLv.60事件が起きるしその上みえみちゅLv.88事件が起こる」ということはまよまちゃLv.2事件は起きないということを発生させる fact5: ぷわぷちゃLv.60事件は「みえみちゅLv.88事件は発生しない」ということに起因する fact6: 「忌まわしいということは生じない」ということは「みえみちゅLv.88事件ではなくてまよまちゃLv.2事件が起こる」ということを発生させる fact7: 「まよまちゃLv.2事件は発生しないかあるいは忌まわしいということは発生しないか両方ともだ」ということは「消化し易いということは起こらない」ということにもたらされる ; $hypothesis$ = 「ぷわぷちゃLv.60事件は生じない」ということは間違いであるということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。ぷわぷちゃLv.60事件が発生する; assump1 & fact2 -> int1: ぷわぷちゃLv.60事件とみえみちゅLv.88事件が発生する; int1 & fact4 -> int2: まよまちゃLv.2事件は発生しない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}; assump1 & fact2 -> int1: ({A} & {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__