以下のように仮定する。ぽやぽなLv.39事件が起こる
fact1: 忙しいということが起きるとすれば「ぽなぽちゃLv.88事件が生じるかまにょまにゅLv.58事件は発生しないか両方ともだ」ということは誤りだ fact2: 「まにょまにゅLv.58事件が生じないししかもぽなぽちゃLv.88事件は起こらない」ということは成り立つとすると忙しいということは生じない fact3: 忙しいということは「まにょまにゅLv.58事件は生じない」ということを回避する fact4: ぽなぽちゃLv.88事件が生じるかまたはまにょまにゅLv.58事件が起きるか両方である fact5: 「まにょまにゅLv.58事件が起こる」ということは本当である fact6: ぽなぽちゃLv.88事件は発生するかまたはまにょまにゅLv.58事件は発生しないか両方ともだ fact7: 忙しいということはぽやぽなLv.39事件に起因する
void -> assump1: 以下のように仮定する。ぽやぽなLv.39事件が起こる; fact7 & assump1 -> int1: 忙しいということが生じる; int1 & fact1 -> int2: 「ぽなぽちゃLv.88事件は発生するかもしくはまにょまにゅLv.58事件は起こらないかまたは両方である」ということは誤っている; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; fact7 & assump1 -> int1: {B}; int1 & fact1 -> int2: ¬({D} v ¬{C}); int2 & fact6 -> int3: #F#; [assump1] & int3 -> hypothesis;
回診することが起こる
$facts$ = fact1: 忙しいということが起きるとすれば「ぽなぽちゃLv.88事件が生じるかまにょまにゅLv.58事件は発生しないか両方ともだ」ということは誤りだ fact2: 「まにょまにゅLv.58事件が生じないししかもぽなぽちゃLv.88事件は起こらない」ということは成り立つとすると忙しいということは生じない fact3: 忙しいということは「まにょまにゅLv.58事件は生じない」ということを回避する fact4: ぽなぽちゃLv.88事件が生じるかまたはまにょまにゅLv.58事件が起きるか両方である fact5: 「まにょまにゅLv.58事件が起こる」ということは本当である fact6: ぽなぽちゃLv.88事件は発生するかまたはまにょまにゅLv.58事件は発生しないか両方ともだ fact7: 忙しいということはぽやぽなLv.39事件に起因する ; $hypothesis$ = 以下のように仮定する。ぽやぽなLv.39事件が起こる ; $proof$ = 
void -> assump1: 以下のように仮定する。ぽやぽなLv.39事件が起こる; fact7 & assump1 -> int1: 忙しいということが生じる; int1 & fact1 -> int2: 「ぽなぽちゃLv.88事件は発生するかもしくはまにょまにゅLv.58事件は起こらないかまたは両方である」ということは誤っている; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}; fact7 & assump1 -> int1: {B}; int1 & fact1 -> int2: ¬({D} v ¬{C}); int2 & fact6 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__