割れ易いということは発生しない
fact1: 「割れ易いということが起きる」ということかもしくはみちょみえLv.68事件は欲深いということは生じないということの原因となる
void -> assump1: 以下のように仮定する。割れ易いということが生じる; assump1 -> int1: 割れ易いということは発生するかあるいはみちょみえLv.68事件は発生する; int1 & fact1 -> int2: 欲深いということは起きない;
void -> assump1: {A}; assump1 -> int1: ({A} v {B}); int1 & fact1 -> int2: ¬{C};
$facts$ = fact1: 「割れ易いということが起きる」ということかもしくはみちょみえLv.68事件は欲深いということは生じないということの原因となる ; $hypothesis$ = 割れ易いということは発生しない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__