みにみにゃLv.74事件および嫌らしいということが生じる
fact1: 移動し易いということが発生する fact2: 手酷いということは「みにみにゃLv.74事件は起きない」ということを阻む fact3: 「嫌らしいということが発生する」ということは「まのまなLv.88事件は発生しない」ということに阻止される fact4: 嫌らしいということが発生する fact5: 移動し易いということは手酷いということを発生させる
fact5 & fact1 -> int1: 手酷いということが発生する; int1 & fact2 -> int2: みにみにゃLv.74事件が起きる; int2 & fact4 -> hypothesis;
fact5 & fact1 -> int1: {B}; int1 & fact2 -> int2: {C}; int2 & fact4 -> hypothesis;
みのみちゃLv.62事件が起こる
$facts$ = fact1: 移動し易いということが発生する fact2: 手酷いということは「みにみにゃLv.74事件は起きない」ということを阻む fact3: 「嫌らしいということが発生する」ということは「まのまなLv.88事件は発生しない」ということに阻止される fact4: 嫌らしいということが発生する fact5: 移動し易いということは手酷いということを発生させる ; $hypothesis$ = みにみにゃLv.74事件および嫌らしいということが生じる ; $proof$ = 
fact5 & fact1 -> int1: 手酷いということが発生する; int1 & fact2 -> int2: みにみにゃLv.74事件が起きる; int2 & fact4 -> hypothesis; __PROVED__
fact5 & fact1 -> int1: {B}; int1 & fact2 -> int2: {C}; int2 & fact4 -> hypothesis; __PROVED__