名残惜しいということが発生する
fact1: 「名残惜しいということは起きない」ということはまちゅまのLv.81事件が契機である fact2: 名残惜しいということは起こらないということは「みにみのLv.9事件かまたはまちゅまのLv.81事件が起こる」ということが契機である fact3: 御構い無いということおよびみにみのLv.9事件どちらもが起こる
fact3 -> int1: みにみのLv.9事件が生じる; int1 -> int2: みにみのLv.9事件が起こるかまたはまちゅまのLv.81事件が起きるかどちらもだ; int2 & fact2 -> hypothesis;
fact3 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact2 -> hypothesis;
$facts$ = fact1: 「名残惜しいということは起きない」ということはまちゅまのLv.81事件が契機である fact2: 名残惜しいということは起こらないということは「みにみのLv.9事件かまたはまちゅまのLv.81事件が起こる」ということが契機である fact3: 御構い無いということおよびみにみのLv.9事件どちらもが起こる ; $hypothesis$ = 名残惜しいということが発生する ; $proof$ = 
fact3 -> int1: みにみのLv.9事件が生じる; int1 -> int2: みにみのLv.9事件が起こるかまたはまちゅまのLv.81事件が起きるかどちらもだ; int2 & fact2 -> hypothesis; __DISPROVED__
fact3 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact2 -> hypothesis; __DISPROVED__