以下のように仮定する。「みにょみいLv.80事件は発生しない」ということは事実と異なる
fact1: 巻き込むことが生じる fact2: 形成され易いということかあるいは巻き込むことかもしくは両方ともは「天狗らしいということは起きない」ということが原因である fact3: もし仮に成され易いということは生じないならばみにょみいLv.80事件ではなく巻き込むことが生じる fact4: 仮に巻き込むことが起きるしおまけにみにょみいLv.80事件が起こるとすると形成され易いということは発生しない fact5: 「みにょみいLv.80事件は起きないし巻き込むことが起きる」ということは根強いということを発生させる
void -> assump1: 以下のように仮定する。「みにょみいLv.80事件は発生しない」ということは事実と異なる; fact1 & assump1 -> int1: 巻き込むこととみにょみいLv.80事件両方が起こる; int1 & fact4 -> int2: 形成され易いということは生じない;
void -> assump1: {B}; fact1 & assump1 -> int1: ({A} & {B}); int1 & fact4 -> int2: ¬{C};
根強いということともちゃもえLv.73事件両方が生じる
$facts$ = fact1: 巻き込むことが生じる fact2: 形成され易いということかあるいは巻き込むことかもしくは両方ともは「天狗らしいということは起きない」ということが原因である fact3: もし仮に成され易いということは生じないならばみにょみいLv.80事件ではなく巻き込むことが生じる fact4: 仮に巻き込むことが起きるしおまけにみにょみいLv.80事件が起こるとすると形成され易いということは発生しない fact5: 「みにょみいLv.80事件は起きないし巻き込むことが起きる」ということは根強いということを発生させる ; $hypothesis$ = 以下のように仮定する。「みにょみいLv.80事件は発生しない」ということは事実と異なる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__