みにみにょLv.19事件は生じない
fact1: 眺め回すことは起きない fact2: ぴちゅぴえLv.88事件とぽえぽにょLv.85事件が起きるは手伝うことは発生しないということに由来する fact3: 目まぐるしいということは起きない fact4: 巡回することは「図々しいということは発生しない」ということの原因となる fact5: ぽえぽにょLv.85事件および手伝うことが発生する fact6: みにみにょLv.19事件はみにょみねLv.70事件か手伝うことが起きるということかもしくは両方に阻止される fact7: 「手伝うことは起こらない」ということは「みにょみねLv.70事件は起こらないしみにみにょLv.19事件は生じない」ということに引き起こされる
fact5 -> int1: 手伝うことが発生する; int1 -> int2: みにょみねLv.70事件か手伝うことが発生する; int2 & fact6 -> hypothesis;
fact5 -> int1: {B}; int1 -> int2: ({C} v {B}); int2 & fact6 -> hypothesis;
潔いということかあるいはぴちゅぴえLv.88事件かもしくはどちらもが発生する
$facts$ = fact1: 眺め回すことは起きない fact2: ぴちゅぴえLv.88事件とぽえぽにょLv.85事件が起きるは手伝うことは発生しないということに由来する fact3: 目まぐるしいということは起きない fact4: 巡回することは「図々しいということは発生しない」ということの原因となる fact5: ぽえぽにょLv.85事件および手伝うことが発生する fact6: みにみにょLv.19事件はみにょみねLv.70事件か手伝うことが起きるということかもしくは両方に阻止される fact7: 「手伝うことは起こらない」ということは「みにょみねLv.70事件は起こらないしみにみにょLv.19事件は生じない」ということに引き起こされる ; $hypothesis$ = みにみにょLv.19事件は生じない ; $proof$ = 
fact5 -> int1: 手伝うことが発生する; int1 -> int2: みにょみねLv.70事件か手伝うことが発生する; int2 & fact6 -> hypothesis; __PROVED__
fact5 -> int1: {B}; int1 -> int2: ({C} v {B}); int2 & fact6 -> hypothesis; __PROVED__