以下のように仮定する。もわもわLv.88事件が起こる
fact1: もちゃもゆLv.12事件が発生する fact2: 「ぽくぽにLv.26事件ではなくて父親らしいということが発生する」ということは犇めくことを阻止する fact3: もわもわLv.88事件ともちょもちょLv.24事件が生じるはもちゃもゆLv.12事件は起きないということをもたらす fact4: 「ぽゆぽにLv.62事件は起きない」ということは確かだ fact5: 京都らしいということは起こらない fact6: もし犇めくことは生じないとしたらもちゃもゆLv.12事件が生じるかもしくはもちょもちょLv.24事件が生じる fact7: もちょもちょLv.24事件が発生する fact8: 生成し易いということが起きる
void -> assump1: 以下のように仮定する。もわもわLv.88事件が起こる; assump1 & fact7 -> int1: もわもわLv.88事件およびもちょもちょLv.24事件どちらもが起こる; int1 & fact3 -> int2: もちゃもゆLv.12事件は起こらない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; assump1 & fact7 -> int1: ({A} & {B}); int1 & fact3 -> int2: ¬{C}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。もわもわLv.88事件が起こる
$facts$ = fact1: もちゃもゆLv.12事件が発生する fact2: 「ぽくぽにLv.26事件ではなくて父親らしいということが発生する」ということは犇めくことを阻止する fact3: もわもわLv.88事件ともちょもちょLv.24事件が生じるはもちゃもゆLv.12事件は起きないということをもたらす fact4: 「ぽゆぽにLv.62事件は起きない」ということは確かだ fact5: 京都らしいということは起こらない fact6: もし犇めくことは生じないとしたらもちゃもゆLv.12事件が生じるかもしくはもちょもちょLv.24事件が生じる fact7: もちょもちょLv.24事件が発生する fact8: 生成し易いということが起きる ; $hypothesis$ = 以下のように仮定する。もわもわLv.88事件が起こる ; $proof$ = 
void -> assump1: 以下のように仮定する。もわもわLv.88事件が起こる; assump1 & fact7 -> int1: もわもわLv.88事件およびもちょもちょLv.24事件どちらもが起こる; int1 & fact3 -> int2: もちゃもゆLv.12事件は起こらない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}; assump1 & fact7 -> int1: ({A} & {B}); int1 & fact3 -> int2: ¬{C}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__