まえまにLv.79事件は生じない
fact1: 「妬ましいということが起こる」ということは意義深いということかまたはまえまにLv.79事件か両方に阻まれる fact2: 「まえまにLv.79事件が生じないけどめんどいということは発生する」ということは偽であるとすればめんどいということは生じない
void -> assump1: 以下のように仮定する。まえまにLv.79事件が起きる; assump1 -> int1: 意義深いということが発生するかまたはまえまにLv.79事件が起こるか両方ともである; int1 & fact1 -> int2: 妬ましいということは生じない;
void -> assump1: {B}; assump1 -> int1: ({A} v {B}); int1 & fact1 -> int2: ¬{C};
めんどいということは起きない
$facts$ = fact1: 「妬ましいということが起こる」ということは意義深いということかまたはまえまにLv.79事件か両方に阻まれる fact2: 「まえまにLv.79事件が生じないけどめんどいということは発生する」ということは偽であるとすればめんどいということは生じない ; $hypothesis$ = まえまにLv.79事件は生じない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__