まちょまなLv.11事件は起きない
fact1: 由々しいということが起こるしもねもいLv.45事件が起きる fact2: 軽いということが生じるし加えて醜いということが生じる fact3: もしぽなぽわLv.36事件およびあくどいということが起きるとすると「抽選することは起こらない」ということは確かである fact4: 恥ずかしということが起こる fact5: 偏り易いということは起きない fact6: ぽにぽよLv.94事件が起きる fact7: とろいということとみねみにゅLv.28事件どちらもが発生する fact8: まちょまなLv.11事件はみねみにゅLv.28事件とぽにぽよLv.94事件が生じるに防がれる
fact7 -> int1: みねみにゅLv.28事件が生じる; int1 & fact6 -> int2: みねみにゅLv.28事件とぽにぽよLv.94事件が起こる; int2 & fact8 -> hypothesis;
fact7 -> int1: {B}; int1 & fact6 -> int2: ({B} & {C}); int2 & fact8 -> hypothesis;
$facts$ = fact1: 由々しいということが起こるしもねもいLv.45事件が起きる fact2: 軽いということが生じるし加えて醜いということが生じる fact3: もしぽなぽわLv.36事件およびあくどいということが起きるとすると「抽選することは起こらない」ということは確かである fact4: 恥ずかしということが起こる fact5: 偏り易いということは起きない fact6: ぽにぽよLv.94事件が起きる fact7: とろいということとみねみにゅLv.28事件どちらもが発生する fact8: まちょまなLv.11事件はみねみにゅLv.28事件とぽにぽよLv.94事件が生じるに防がれる ; $hypothesis$ = まちょまなLv.11事件は起きない ; $proof$ = 
fact7 -> int1: みねみにゅLv.28事件が生じる; int1 & fact6 -> int2: みねみにゅLv.28事件とぽにぽよLv.94事件が起こる; int2 & fact8 -> hypothesis; __PROVED__
fact7 -> int1: {B}; int1 & fact6 -> int2: ({B} & {C}); int2 & fact8 -> hypothesis; __PROVED__