「自分らしいということは生じないし加えてぴやぴにゅLv.60事件は起こらない」ということはまいまちょLv.60事件にもたらされる
fact1: 「活発化することが起きるかもしくはまいまちょLv.60事件が起きる」ということはしどけないということは発生しないということのきっかけとなる fact2: 「しどけないということは起きない」ということは自分らしいということは生じないということの原因となる fact3: もし「まいまちょLv.60事件は発生しない」ということは真実だとするとまゆまのLv.32事件ではなく活発化することが起こる fact4: 仮にみちょみやLv.68事件が起きるなら白いということは起きない
void -> assump1: 以下のように仮定する。まいまちょLv.60事件が発生する; assump1 -> int1: 活発化することかまたはまいまちょLv.60事件かどちらもが発生する; int1 & fact1 -> int2: しどけないということは起きない;
void -> assump1: {B}; assump1 -> int1: ({A} v {B}); int1 & fact1 -> int2: ¬{C};
まゆまのLv.32事件は起こらない
$facts$ = fact1: 「活発化することが起きるかもしくはまいまちょLv.60事件が起きる」ということはしどけないということは発生しないということのきっかけとなる fact2: 「しどけないということは起きない」ということは自分らしいということは生じないということの原因となる fact3: もし「まいまちょLv.60事件は発生しない」ということは真実だとするとまゆまのLv.32事件ではなく活発化することが起こる fact4: 仮にみちょみやLv.68事件が起きるなら白いということは起きない ; $hypothesis$ = 「自分らしいということは生じないし加えてぴやぴにゅLv.60事件は起こらない」ということはまいまちょLv.60事件にもたらされる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__