以下のように仮定する。惜しむことが生じる
fact1: 「惜しむことが起きるし更にまいまちょLv.92事件が生じる」ということは「ぷやぷくLv.6事件は起こらない」ということに帰結する fact2: まいまちょLv.92事件が起きる
void -> assump1: 以下のように仮定する。惜しむことが生じる; assump1 & fact2 -> int1: 惜しむこととまいまちょLv.92事件どちらもが生じる; int1 & fact1 -> int2: ぷやぷくLv.6事件は発生しない;
void -> assump1: {A}; assump1 & fact2 -> int1: ({A} & {B}); int1 & fact1 -> int2: ¬{C};
$facts$ = fact1: 「惜しむことが起きるし更にまいまちょLv.92事件が生じる」ということは「ぷやぷくLv.6事件は起こらない」ということに帰結する fact2: まいまちょLv.92事件が起きる ; $hypothesis$ = 以下のように仮定する。惜しむことが生じる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__