ぽやぽねLv.83事件は起きない
fact1: 開山することが発生する fact2: もし仮に開山することは起きないとしたら「ぽやぽねLv.83事件および呼び易いということが起こる」ということは間違っている fact3: 青っぽいということが起きる fact4: ぽちゅぽのLv.61事件が生じる fact5: 操作し易いということが生じる fact6: 仮に「ぽやぽねLv.83事件が起こるしかつ呼び易いということが起こる」ということは誤っているとすれば呼び易いということは発生しない
void -> assump1: 以下のように仮定する。ぽやぽねLv.83事件が起きる; fact1 & assump1 -> int1: 開山することが生じるしぽやぽねLv.83事件が起きる;
void -> assump1: {B}; fact1 & assump1 -> int1: ({A} & {B});
呼び易いということは起きない
$facts$ = fact1: 開山することが発生する fact2: もし仮に開山することは起きないとしたら「ぽやぽねLv.83事件および呼び易いということが起こる」ということは間違っている fact3: 青っぽいということが起きる fact4: ぽちゅぽのLv.61事件が生じる fact5: 操作し易いということが生じる fact6: 仮に「ぽやぽねLv.83事件が起こるしかつ呼び易いということが起こる」ということは誤っているとすれば呼び易いということは発生しない ; $hypothesis$ = ぽやぽねLv.83事件は起きない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__