煩いということが発生する
fact1: もし伝わり難いということは起きないならば「ぽゆぽなLv.47事件および煩いということ両方ともが生じる」ということは成り立たない fact2: もしももよもにゅLv.15事件が発生すればみちょみくLv.9事件が生じる fact3: 「みちょみくLv.9事件およびぽゆぽなLv.47事件どちらもが起こる」ということは煩いということは発生しないということをもたらす fact4: もよもにゅLv.15事件が発生する fact5: もし「どでかいということが起きるかもしくは等しということは起こらないかあるいは両方だ」ということは成り立たないならば伝わり難いということは発生しない fact6: ぽゆぽなLv.47事件が生じる
fact2 & fact4 -> int1: みちょみくLv.9事件が起こる; int1 & fact6 -> int2: みちょみくLv.9事件とぽゆぽなLv.47事件が起こる; int2 & fact3 -> hypothesis;
fact2 & fact4 -> int1: {B}; int1 & fact6 -> int2: ({B} & {C}); int2 & fact3 -> hypothesis;
みわみゆLv.50事件が発生する
$facts$ = fact1: もし伝わり難いということは起きないならば「ぽゆぽなLv.47事件および煩いということ両方ともが生じる」ということは成り立たない fact2: もしももよもにゅLv.15事件が発生すればみちょみくLv.9事件が生じる fact3: 「みちょみくLv.9事件およびぽゆぽなLv.47事件どちらもが起こる」ということは煩いということは発生しないということをもたらす fact4: もよもにゅLv.15事件が発生する fact5: もし「どでかいということが起きるかもしくは等しということは起こらないかあるいは両方だ」ということは成り立たないならば伝わり難いということは発生しない fact6: ぽゆぽなLv.47事件が生じる ; $hypothesis$ = 煩いということが発生する ; $proof$ = 
fact2 & fact4 -> int1: みちょみくLv.9事件が起こる; int1 & fact6 -> int2: みちょみくLv.9事件とぽゆぽなLv.47事件が起こる; int2 & fact3 -> hypothesis; __DISPROVED__
fact2 & fact4 -> int1: {B}; int1 & fact6 -> int2: ({B} & {C}); int2 & fact3 -> hypothesis; __DISPROVED__