以下のように仮定する。まいまえLv.99事件が起こるかもしくは無いということは起こらないかまたは両方である
fact1: 「まいまえLv.99事件が発生するか無いということは生じないか両方ともである」ということはみなみにLv.92事件を阻む fact2: まいまえLv.99事件が発生するか無いということが起こるかあるいは両方ともだ fact3: 無いということが起きる fact4: もし仮にげんなりすることが起きないとするとひ弱いということは発生しなくておまけにみなみにLv.92事件は発生しない fact5: ひ弱いということが生じる
void -> assump1: 以下のように仮定する。まいまえLv.99事件が起こるかもしくは無いということは起こらないかまたは両方である; fact1 & assump1 -> int1: みなみにLv.92事件は生じない;
void -> assump1: ({AA} v ¬{AB}); fact1 & assump1 -> int1: ¬{B};
以下のように仮定する。まいまえLv.99事件が起こるかもしくは無いということは起こらないかまたは両方である
$facts$ = fact1: 「まいまえLv.99事件が発生するか無いということは生じないか両方ともである」ということはみなみにLv.92事件を阻む fact2: まいまえLv.99事件が発生するか無いということが起こるかあるいは両方ともだ fact3: 無いということが起きる fact4: もし仮にげんなりすることが起きないとするとひ弱いということは発生しなくておまけにみなみにLv.92事件は発生しない fact5: ひ弱いということが生じる ; $hypothesis$ = 以下のように仮定する。まいまえLv.99事件が起こるかもしくは無いということは起こらないかまたは両方である ; $proof$ = 
__UNKNOWN__
__UNKNOWN__