常連らしいということが生じる
fact1: もし「みやみにょLv.85事件ではなくぷにゃぷなLv.98事件が起きる」ということは成り立たないなら常連らしいということが生じる fact2: みやみにょLv.85事件は「常連らしいということは起きない」ということを回避する fact3: みやみにょLv.85事件は起きない fact4: 「みやみにょLv.85事件およびぷにゃぷなLv.98事件が起こる」ということは間違いである fact5: ぽくぽにLv.98事件が発生する
void -> assump1: 以下のように仮定する。みやみにょLv.85事件は起きない一方でぷにゃぷなLv.98事件が生じる; assump1 -> int1: ぷにゃぷなLv.98事件が起きる;
void -> assump1: (¬{A} & {B}); assump1 -> int1: {B};
$facts$ = fact1: もし「みやみにょLv.85事件ではなくぷにゃぷなLv.98事件が起きる」ということは成り立たないなら常連らしいということが生じる fact2: みやみにょLv.85事件は「常連らしいということは起きない」ということを回避する fact3: みやみにょLv.85事件は起きない fact4: 「みやみにょLv.85事件およびぷにゃぷなLv.98事件が起こる」ということは間違いである fact5: ぽくぽにLv.98事件が発生する ; $hypothesis$ = 常連らしいということが生じる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__