「嘲ることが発生する」ということは成り立つ
fact1: もしも否定し難いということが発生するとすると「もにょもにゅLv.86事件は発生するけど退陣することは発生しない」ということは真実であるということはない fact2: 幼いということが発生する fact3: もにょもにゅLv.86事件が起きる fact4: 「「もにょもにゅLv.86事件は発生するが退陣することは起きない」ということは誤っているとするともにょもにゅLv.86事件は起こらない」ということは正しい fact5: 幼いということは起きないけどぴにぴにゅLv.28事件が起きるとすれば嘲ることが生じる fact6: 嘲ることは「ぴにぴにゅLv.28事件が起きるししかももにょもにゅLv.86事件が起こる」ということに阻止される fact7: ぴにぴにゅLv.28事件が起こるし幼いということが起こる
fact7 -> int1: ぴにぴにゅLv.28事件が生じる; int1 & fact3 -> int2: ぴにぴにゅLv.28事件が起こるしその上もにょもにゅLv.86事件が生じる; int2 & fact6 -> hypothesis;
fact7 -> int1: {A}; int1 & fact3 -> int2: ({A} & {C}); int2 & fact6 -> hypothesis;
「嘲ることが発生する」ということは成り立つ
$facts$ = fact1: もしも否定し難いということが発生するとすると「もにょもにゅLv.86事件は発生するけど退陣することは発生しない」ということは真実であるということはない fact2: 幼いということが発生する fact3: もにょもにゅLv.86事件が起きる fact4: 「「もにょもにゅLv.86事件は発生するが退陣することは起きない」ということは誤っているとするともにょもにゅLv.86事件は起こらない」ということは正しい fact5: 幼いということは起きないけどぴにぴにゅLv.28事件が起きるとすれば嘲ることが生じる fact6: 嘲ることは「ぴにぴにゅLv.28事件が起きるししかももにょもにゅLv.86事件が起こる」ということに阻止される fact7: ぴにぴにゅLv.28事件が起こるし幼いということが起こる ; $hypothesis$ = 「嘲ることが発生する」ということは成り立つ ; $proof$ = 
fact7 -> int1: ぴにぴにゅLv.28事件が生じる; int1 & fact3 -> int2: ぴにぴにゅLv.28事件が起こるしその上もにょもにゅLv.86事件が生じる; int2 & fact6 -> hypothesis; __DISPROVED__
fact7 -> int1: {A}; int1 & fact3 -> int2: ({A} & {C}); int2 & fact6 -> hypothesis; __DISPROVED__