以下のように仮定する。「まにゃまにゃLv.90事件が生じる」ということは間違いでない
fact1: みねみちゅLv.6事件が発生する fact2: もしもみにみよLv.21事件が発生するとすると情けないということは発生するかまたはみねみちゅLv.6事件は起きない fact3: 情けないということが生じる fact4: まにゃまにゃLv.90事件が起きるしおまけにみねみちゅLv.6事件が生じれば情けないということは発生しない fact5: まにゃまにゃLv.90事件が発生しないということかあるいは「喋り難いということは起きない」ということかどちらもはみねみちゅLv.6事件が発生しないということはきっかけだ fact6: 「喋り難いということは起きない」ということはまにゃまにゃLv.90事件は発生しないということかもしくは「喋り難いということは起きない」ということかもしくは両方に由来する fact7: 苦々しいということは生じない
void -> assump1: 以下のように仮定する。「まにゃまにゃLv.90事件が生じる」ということは間違いでない; assump1 & fact1 -> int1: まにゃまにゃLv.90事件およびみねみちゅLv.6事件が起きる; int1 & fact4 -> int2: 情けないということは起きない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; assump1 & fact1 -> int1: ({A} & {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis;
喋り難いということは起きない
$facts$ = fact1: みねみちゅLv.6事件が発生する fact2: もしもみにみよLv.21事件が発生するとすると情けないということは発生するかまたはみねみちゅLv.6事件は起きない fact3: 情けないということが生じる fact4: まにゃまにゃLv.90事件が起きるしおまけにみねみちゅLv.6事件が生じれば情けないということは発生しない fact5: まにゃまにゃLv.90事件が発生しないということかあるいは「喋り難いということは起きない」ということかどちらもはみねみちゅLv.6事件が発生しないということはきっかけだ fact6: 「喋り難いということは起きない」ということはまにゃまにゃLv.90事件は発生しないということかもしくは「喋り難いということは起きない」ということかもしくは両方に由来する fact7: 苦々しいということは生じない ; $hypothesis$ = 以下のように仮定する。「まにゃまにゃLv.90事件が生じる」ということは間違いでない ; $proof$ = 
void -> assump1: 以下のように仮定する。「まにゃまにゃLv.90事件が生じる」ということは間違いでない; assump1 & fact1 -> int1: まにゃまにゃLv.90事件およびみねみちゅLv.6事件が起きる; int1 & fact4 -> int2: 情けないということは起きない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}; assump1 & fact1 -> int1: ({A} & {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__