「みにょみちゃLv.46事件は発生しない」ということは正しい
fact1: もしも「上げ為さることではなく流され易いということが生じる」ということは偽であるなら流され易いということは発生しない fact2: 上げ為さることおよびまちゅまちょLv.39事件どちらもが起きる fact3: 弾き易いということが起きる fact4: 弾き易いということとまちゅまちょLv.39事件両方が起きるとすればみにょみちゃLv.46事件は起きない fact5: 上げ為さることが発生する
fact2 -> int1: まちゅまちょLv.39事件が起こる; int1 & fact3 -> int2: 弾き易いということおよびまちゅまちょLv.39事件どちらもが発生する; int2 & fact4 -> hypothesis;
fact2 -> int1: {B}; int1 & fact3 -> int2: ({C} & {B}); int2 & fact4 -> hypothesis;
流され易いということは起こらない
$facts$ = fact1: もしも「上げ為さることではなく流され易いということが生じる」ということは偽であるなら流され易いということは発生しない fact2: 上げ為さることおよびまちゅまちょLv.39事件どちらもが起きる fact3: 弾き易いということが起きる fact4: 弾き易いということとまちゅまちょLv.39事件両方が起きるとすればみにょみちゃLv.46事件は起きない fact5: 上げ為さることが発生する ; $hypothesis$ = 「みにょみちゃLv.46事件は発生しない」ということは正しい ; $proof$ = 
fact2 -> int1: まちゅまちょLv.39事件が起こる; int1 & fact3 -> int2: 弾き易いということおよびまちゅまちょLv.39事件どちらもが発生する; int2 & fact4 -> hypothesis; __PROVED__
fact2 -> int1: {B}; int1 & fact3 -> int2: ({C} & {B}); int2 & fact4 -> hypothesis; __PROVED__