攫うことが起きる
fact1: 木らしいということおよびアップグレードすること両方が生じる fact2: 「まゆまにゃLv.95事件が生じる」ということは本当である fact3: 「まゆまにゃLv.95事件とアップグレードすることが発生する」ということは攫うことを阻止する
fact1 -> int1: アップグレードすることが起こる; int1 & fact2 -> int2: まゆまにゃLv.95事件およびアップグレードすることが起こる; int2 & fact3 -> hypothesis;
fact1 -> int1: {B}; int1 & fact2 -> int2: ({C} & {B}); int2 & fact3 -> hypothesis;
$facts$ = fact1: 木らしいということおよびアップグレードすること両方が生じる fact2: 「まゆまにゃLv.95事件が生じる」ということは本当である fact3: 「まゆまにゃLv.95事件とアップグレードすることが発生する」ということは攫うことを阻止する ; $hypothesis$ = 攫うことが起きる ; $proof$ = 
fact1 -> int1: アップグレードすることが起こる; int1 & fact2 -> int2: まゆまにゃLv.95事件およびアップグレードすることが起こる; int2 & fact3 -> hypothesis; __DISPROVED__
fact1 -> int1: {B}; int1 & fact2 -> int2: ({C} & {B}); int2 & fact3 -> hypothesis; __DISPROVED__