睦まじいということが起こる
fact1: 「睦まじいということは生じない」ということは「裏切ることは起きない」ということに阻止される fact2: 「「もにゃもちょLv.27事件は起こらない」ということは裏切ることに阻止される」ということは真実である fact3: 睦まじいということは「裏切ることは発生しなくてもにゃもちょLv.27事件が起きる」ということに防がれる
void -> assump1: 以下のように仮定する。裏切ることが起こる; fact2 & assump1 -> int1: もにゃもちょLv.27事件が生じる;
void -> assump1: {A}; fact2 & assump1 -> int1: {B};
睦まじいということは起きない
$facts$ = fact1: 「睦まじいということは生じない」ということは「裏切ることは起きない」ということに阻止される fact2: 「「もにゃもちょLv.27事件は起こらない」ということは裏切ることに阻止される」ということは真実である fact3: 睦まじいということは「裏切ることは発生しなくてもにゃもちょLv.27事件が起きる」ということに防がれる ; $hypothesis$ = 睦まじいということが起こる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__