名残惜しいということとみいみえLv.6事件どちらもが発生する
fact1: ぽくぽゆLv.60事件は「ひょろ長いということが発生する」ということにより発生する fact2: 仮にひょろ長いということは起こらないとしたら「名残惜しいということおよびみいみえLv.6事件両方が起こる」ということは嘘だ
void -> assump1: 以下のように仮定する。ひょろ長いということが起きる; fact1 & assump1 -> int1: ぽくぽゆLv.60事件が生じる;
void -> assump1: {A}; fact1 & assump1 -> int1: {B};
$facts$ = fact1: ぽくぽゆLv.60事件は「ひょろ長いということが発生する」ということにより発生する fact2: 仮にひょろ長いということは起こらないとしたら「名残惜しいということおよびみいみえLv.6事件両方が起こる」ということは嘘だ ; $hypothesis$ = 名残惜しいということとみいみえLv.6事件どちらもが発生する ; $proof$ = 
__UNKNOWN__
__UNKNOWN__