以下のように仮定する。形容し難いということが生じる
fact1: もし小さいということは起こらないとすればまゆまえLv.22事件が起きるかまたはぷよぷなLv.30事件が起こるかあるいはどちらもである fact2: まゆまえLv.22事件は起きないということは「ぷよぷなLv.30事件および形容し難いということどちらもが発生する」ということに由来する fact3: まゆまえLv.22事件が起こる fact4: ぷよぷなLv.30事件が発生する fact5: もし仮にぴなぴなLv.58事件と靡くこと両方ともが起こるとすればまにょまちゃLv.93事件は起こらない fact6: 「小さいということは起こらない」ということは「ぷちゃぷえLv.79事件が起きるしその上まゆまえLv.22事件が発生する」ということを招く fact7: みくみゆLv.71事件が起こるしぴにゃぴちょLv.61事件が起こる
void -> assump1: 以下のように仮定する。形容し難いということが生じる; fact4 & assump1 -> int1: 「ぷよぷなLv.30事件が発生するしおまけに形容し難いということは発生する」ということは事実だ; int1 & fact2 -> int2: まゆまえLv.22事件は起こらない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}; fact4 & assump1 -> int1: ({A} & {B}); int1 & fact2 -> int2: ¬{C}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。形容し難いということが生じる
$facts$ = fact1: もし小さいということは起こらないとすればまゆまえLv.22事件が起きるかまたはぷよぷなLv.30事件が起こるかあるいはどちらもである fact2: まゆまえLv.22事件は起きないということは「ぷよぷなLv.30事件および形容し難いということどちらもが発生する」ということに由来する fact3: まゆまえLv.22事件が起こる fact4: ぷよぷなLv.30事件が発生する fact5: もし仮にぴなぴなLv.58事件と靡くこと両方ともが起こるとすればまにょまちゃLv.93事件は起こらない fact6: 「小さいということは起こらない」ということは「ぷちゃぷえLv.79事件が起きるしその上まゆまえLv.22事件が発生する」ということを招く fact7: みくみゆLv.71事件が起こるしぴにゃぴちょLv.61事件が起こる ; $hypothesis$ = 以下のように仮定する。形容し難いということが生じる ; $proof$ = 
void -> assump1: 以下のように仮定する。形容し難いということが生じる; fact4 & assump1 -> int1: 「ぷよぷなLv.30事件が発生するしおまけに形容し難いということは発生する」ということは事実だ; int1 & fact2 -> int2: まゆまえLv.22事件は起こらない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {B}; fact4 & assump1 -> int1: ({A} & {B}); int1 & fact2 -> int2: ¬{C}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__