以下のように仮定する。「もよもねLv.94事件が生じる」ということは確かだ
fact1: 仮に「「見え易いということが生じるしまたもよもねLv.94事件が起きる」ということは本当である」ということは間違いなら見え易いということは発生しない fact2: 御詳しいということが生じる fact3: ぴえぴちょLv.47事件が生じる fact4: 耐え兼ねることが発生する fact5: 仮に厳ついということおよびこよないということが起こるとするとぷわぷのLv.37事件は起きない fact6: もし仮にぴえぴちょLv.47事件が起こるが耐え兼ねることは発生しないとすればもよもねLv.94事件が起きる
void -> assump1: 以下のように仮定する。「もよもねLv.94事件が生じる」ということは確かだ; fact3 & assump1 -> int1: ぴえぴちょLv.47事件が起こるし更にもよもねLv.94事件が生じる;
void -> assump1: {B}; fact3 & assump1 -> int1: ({A} & {B});
見え易いということは起こらない
$facts$ = fact1: 仮に「「見え易いということが生じるしまたもよもねLv.94事件が起きる」ということは本当である」ということは間違いなら見え易いということは発生しない fact2: 御詳しいということが生じる fact3: ぴえぴちょLv.47事件が生じる fact4: 耐え兼ねることが発生する fact5: 仮に厳ついということおよびこよないということが起こるとするとぷわぷのLv.37事件は起きない fact6: もし仮にぴえぴちょLv.47事件が起こるが耐え兼ねることは発生しないとすればもよもねLv.94事件が起きる ; $hypothesis$ = 以下のように仮定する。「もよもねLv.94事件が生じる」ということは確かだ ; $proof$ = 
__UNKNOWN__
__UNKNOWN__