以下のように仮定する。入れ難いということが起きる
fact1: 黴臭いということは起こらない fact2: まのまゆLv.50事件は「うつ伏せることが起きるかあるいは入れ難いということが起きるかどちらもだ」ということに防がれる fact3: うつ伏せることがまのまゆLv.50事件は起きないということを誘発する
void -> assump1: 以下のように仮定する。入れ難いということが起きる; assump1 -> int1: うつ伏せることが発生するかまたは入れ難いということが起こるか両方だ; int1 & fact2 -> int2: まのまゆLv.50事件は起こらない;
void -> assump1: {B}; assump1 -> int1: ({A} v {B}); int1 & fact2 -> int2: ¬{C};
$facts$ = fact1: 黴臭いということは起こらない fact2: まのまゆLv.50事件は「うつ伏せることが起きるかあるいは入れ難いということが起きるかどちらもだ」ということに防がれる fact3: うつ伏せることがまのまゆLv.50事件は起きないということを誘発する ; $hypothesis$ = 以下のように仮定する。入れ難いということが起きる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__