以下のように仮定する。まいまにゅLv.78事件が発生する
fact1: 「まいまにゅLv.78事件および当て付けることが生じる」ということは弱いということを阻む fact2: 当て付けることが発生する fact3: もし仮に「「まいまにゅLv.78事件ではなくぷちゃぷわLv.96事件が生じる」ということは本当だ」ということは成り立たないならぷちゃぷわLv.96事件は発生しない fact4: 生活し易いということは起こらない fact5: 仮に出入りし易いということが起こるとすると酒臭いということは生じないし当て付けることは起こらない fact6: まにゅまにゃLv.0事件は起こらない fact7: もし仮に当て付けることは起きないなら「弱いということは生じなくておまけにまいまにゅLv.78事件は発生しない」ということは誤りだ
void -> assump1: 以下のように仮定する。まいまにゅLv.78事件が発生する; assump1 & fact2 -> int1: まいまにゅLv.78事件および当て付けることが起こる; int1 & fact1 -> int2: 弱いということは発生しない;
void -> assump1: {A}; assump1 & fact2 -> int1: ({A} & {B}); int1 & fact1 -> int2: ¬{C};
以下のように仮定する。まいまにゅLv.78事件が発生する
$facts$ = fact1: 「まいまにゅLv.78事件および当て付けることが生じる」ということは弱いということを阻む fact2: 当て付けることが発生する fact3: もし仮に「「まいまにゅLv.78事件ではなくぷちゃぷわLv.96事件が生じる」ということは本当だ」ということは成り立たないならぷちゃぷわLv.96事件は発生しない fact4: 生活し易いということは起こらない fact5: 仮に出入りし易いということが起こるとすると酒臭いということは生じないし当て付けることは起こらない fact6: まにゅまにゃLv.0事件は起こらない fact7: もし仮に当て付けることは起きないなら「弱いということは生じなくておまけにまいまにゅLv.78事件は発生しない」ということは誤りだ ; $hypothesis$ = 以下のように仮定する。まいまにゅLv.78事件が発生する ; $proof$ = 
__UNKNOWN__
__UNKNOWN__