以下のように仮定する。立て易いということが起きる
fact1: もよもちゅLv.50事件が起きる fact2: もし仮にみえみゆLv.60事件が生じないとすると立て易いということかあるいはもよもちゅLv.50事件かあるいは両方ともは発生する fact3: 「ぷわぷにょLv.31事件は発生しない」ということは立て易いということが発生するということのきっかけとなる fact4: 心弱いということが起きる fact5: 心弱いということと安堵し難いということが起こるは「ぴよぴねLv.91事件が起こる」ということを回避する fact6: 「ぷわぷにょLv.31事件が起きる」ということは本当である fact7: もし仮にぴよぴねLv.91事件は発生しないとするとぷわぷにょLv.31事件およびもにゃもよLv.88事件どちらもが発生する fact8: もよもちゅLv.50事件が発生するということは「ぷわぷにょLv.31事件および立て易いということ両方が起こる」ということに防がれる
void -> assump1: 以下のように仮定する。立て易いということが起きる; fact6 & assump1 -> int1: ぷわぷにょLv.31事件が発生するし更に立て易いということが起こる; int1 & fact8 -> int2: 「もよもちゅLv.50事件は生じない」ということは成り立つ; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}; fact6 & assump1 -> int1: ({A} & {B}); int1 & fact8 -> int2: ¬{C}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis;
もにゃもよLv.88事件が起こるし施行出来ることが生じる
$facts$ = fact1: もよもちゅLv.50事件が起きる fact2: もし仮にみえみゆLv.60事件が生じないとすると立て易いということかあるいはもよもちゅLv.50事件かあるいは両方ともは発生する fact3: 「ぷわぷにょLv.31事件は発生しない」ということは立て易いということが発生するということのきっかけとなる fact4: 心弱いということが起きる fact5: 心弱いということと安堵し難いということが起こるは「ぴよぴねLv.91事件が起こる」ということを回避する fact6: 「ぷわぷにょLv.31事件が起きる」ということは本当である fact7: もし仮にぴよぴねLv.91事件は発生しないとするとぷわぷにょLv.31事件およびもにゃもよLv.88事件どちらもが発生する fact8: もよもちゅLv.50事件が発生するということは「ぷわぷにょLv.31事件および立て易いということ両方が起こる」ということに防がれる ; $hypothesis$ = 以下のように仮定する。立て易いということが起きる ; $proof$ = 
void -> assump1: 以下のように仮定する。立て易いということが起きる; fact6 & assump1 -> int1: ぷわぷにょLv.31事件が発生するし更に立て易いということが起こる; int1 & fact8 -> int2: 「もよもちゅLv.50事件は生じない」ということは成り立つ; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {B}; fact6 & assump1 -> int1: ({A} & {B}); int1 & fact8 -> int2: ¬{C}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__