もにもよLv.37事件は起こらない
fact1: 「みくみにLv.2事件は生じない」ということは間違いだ fact2: 煮え繰り返ることは「過ごし易いということは発生しないししかも狭苦しいということは生じない」ということを招く fact3: ぷいぷにょLv.48事件およびもにゅもにLv.54事件が起きる fact4: 立て易いということおよび聞き直すことが生じる fact5: 狭苦しいということが起こる fact6: 仮に過ごし易いということが発生するし加えて狭苦しいということが発生するとすればもにもよLv.37事件は起こらない fact7: みくみにLv.2事件と過ごし易いということ両方が発生する fact8: 仮に「過ごし易いということは生じない」ということは成り立つとすると「もにもよLv.37事件が生じるしかつみくみにLv.2事件が生じる」ということは真実だ
fact7 -> int1: 過ごし易いということが起こる; int1 & fact5 -> int2: 過ごし易いということおよび狭苦しいということ両方ともが生じる; int2 & fact6 -> hypothesis;
fact7 -> int1: {B}; int1 & fact5 -> int2: ({B} & {C}); int2 & fact6 -> hypothesis;
もにもよLv.37事件が起こる
$facts$ = fact1: 「みくみにLv.2事件は生じない」ということは間違いだ fact2: 煮え繰り返ることは「過ごし易いということは発生しないししかも狭苦しいということは生じない」ということを招く fact3: ぷいぷにょLv.48事件およびもにゅもにLv.54事件が起きる fact4: 立て易いということおよび聞き直すことが生じる fact5: 狭苦しいということが起こる fact6: 仮に過ごし易いということが発生するし加えて狭苦しいということが発生するとすればもにもよLv.37事件は起こらない fact7: みくみにLv.2事件と過ごし易いということ両方が発生する fact8: 仮に「過ごし易いということは生じない」ということは成り立つとすると「もにもよLv.37事件が生じるしかつみくみにLv.2事件が生じる」ということは真実だ ; $hypothesis$ = もにもよLv.37事件は起こらない ; $proof$ = 
fact7 -> int1: 過ごし易いということが起こる; int1 & fact5 -> int2: 過ごし易いということおよび狭苦しいということ両方ともが生じる; int2 & fact6 -> hypothesis; __PROVED__
fact7 -> int1: {B}; int1 & fact5 -> int2: ({B} & {C}); int2 & fact6 -> hypothesis; __PROVED__