入り辛いということと調和し難いということ両方が生じる
fact1: ぽなぽのLv.13事件は起こらないなら「入り辛いということと調和し難いということ両方ともが生じる」ということは成り立たない fact2: ぽなぽのLv.13事件が起こる fact3: ぷわぷえLv.20事件はぽなぽのLv.13事件に由来する fact4: ぷわぷえLv.20事件は入り辛いということが生じるということを引き起こす fact5: 調和し難いということが発生する
fact3 & fact2 -> int1: ぷわぷえLv.20事件が発生する; int1 & fact4 -> int2: 入り辛いということが発生する; int2 & fact5 -> hypothesis;
fact3 & fact2 -> int1: {B}; int1 & fact4 -> int2: {C}; int2 & fact5 -> hypothesis;
「入り辛いということが起きるし調和し難いということが生じる」ということは成り立つということはない
$facts$ = fact1: ぽなぽのLv.13事件は起こらないなら「入り辛いということと調和し難いということ両方ともが生じる」ということは成り立たない fact2: ぽなぽのLv.13事件が起こる fact3: ぷわぷえLv.20事件はぽなぽのLv.13事件に由来する fact4: ぷわぷえLv.20事件は入り辛いということが生じるということを引き起こす fact5: 調和し難いということが発生する ; $hypothesis$ = 入り辛いということと調和し難いということ両方が生じる ; $proof$ = 
fact3 & fact2 -> int1: ぷわぷえLv.20事件が発生する; int1 & fact4 -> int2: 入り辛いということが発生する; int2 & fact5 -> hypothesis; __PROVED__
fact3 & fact2 -> int1: {B}; int1 & fact4 -> int2: {C}; int2 & fact5 -> hypothesis; __PROVED__