以下のように仮定する。みえみのLv.23事件が生じる
fact1: 男っぽいということは発生しないとすると「大変身することおよびむっつりすることどちらもが発生する」ということは間違っている fact2: 受理出来ることが起きる fact3: 「みえみのLv.23事件および受理出来ることが生じる」ということは済ま無いということを防ぐ fact4: もしも「大変身することが発生するししかもむっつりすることが起こる」ということは成り立たないならぴよぴにゅLv.78事件は起こらない fact5: 「赤いということは生じない」ということは「男っぽいということは起こらなくて更にまわまにゅLv.89事件は起きない」ということを生じさせる fact6: 「みえみのLv.23事件が生じるしもなもえLv.73事件は起こらない」ということは「受理出来ることは発生しない」ということに由来する fact7: 受理出来ることかあるいは済ま無いということか両方は「ぴよぴにゅLv.78事件は起こらない」ということに引き起こされる
void -> assump1: 以下のように仮定する。みえみのLv.23事件が生じる; assump1 & fact2 -> int1: みえみのLv.23事件が発生するしそれに受理出来ることが起きる; int1 & fact3 -> int2: 済ま無いということは起きない;
void -> assump1: {A}; assump1 & fact2 -> int1: ({A} & {B}); int1 & fact3 -> int2: ¬{C};
もなもえLv.73事件は起こらない
$facts$ = fact1: 男っぽいということは発生しないとすると「大変身することおよびむっつりすることどちらもが発生する」ということは間違っている fact2: 受理出来ることが起きる fact3: 「みえみのLv.23事件および受理出来ることが生じる」ということは済ま無いということを防ぐ fact4: もしも「大変身することが発生するししかもむっつりすることが起こる」ということは成り立たないならぴよぴにゅLv.78事件は起こらない fact5: 「赤いということは生じない」ということは「男っぽいということは起こらなくて更にまわまにゅLv.89事件は起きない」ということを生じさせる fact6: 「みえみのLv.23事件が生じるしもなもえLv.73事件は起こらない」ということは「受理出来ることは発生しない」ということに由来する fact7: 受理出来ることかあるいは済ま無いということか両方は「ぴよぴにゅLv.78事件は起こらない」ということに引き起こされる ; $hypothesis$ = 以下のように仮定する。みえみのLv.23事件が生じる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__