もやもにゅLv.88事件は発生しない
fact1: 仮に馴れ馴れしいということともよもにゅLv.65事件両方が生じるとしたらもやもにゅLv.88事件は生じない fact2: 腹黒いということが起きる fact3: もよもにゅLv.65事件が生じる fact4: 「馴れ馴れしいということが生じるしぽちょぽにゅLv.11事件は起こらない」ということは事実だということはないとすると馴れ馴れしいということは生じない fact5: もし仮に「もよもにゅLv.65事件が発生するけれどすんごいということは発生しない」ということは間違いであるとすればもよもにゅLv.65事件は起こらない fact6: 仮に起こり易いということが起こるとすると「もよもにゅLv.65事件が起こるがすんごいということは起きない」ということは成り立たない fact7: 腹黒いということは馴れ馴れしいということは起こらないということを防ぐ
fact7 & fact2 -> int1: 馴れ馴れしいということが生じる; int1 & fact3 -> int2: 「馴れ馴れしいということが発生するし加えてもよもにゅLv.65事件は発生する」ということは真実だ; int2 & fact1 -> hypothesis;
fact7 & fact2 -> int1: {B}; int1 & fact3 -> int2: ({B} & {C}); int2 & fact1 -> hypothesis;
「もやもにゅLv.88事件が起きる」ということは成り立つ
$facts$ = fact1: 仮に馴れ馴れしいということともよもにゅLv.65事件両方が生じるとしたらもやもにゅLv.88事件は生じない fact2: 腹黒いということが起きる fact3: もよもにゅLv.65事件が生じる fact4: 「馴れ馴れしいということが生じるしぽちょぽにゅLv.11事件は起こらない」ということは事実だということはないとすると馴れ馴れしいということは生じない fact5: もし仮に「もよもにゅLv.65事件が発生するけれどすんごいということは発生しない」ということは間違いであるとすればもよもにゅLv.65事件は起こらない fact6: 仮に起こり易いということが起こるとすると「もよもにゅLv.65事件が起こるがすんごいということは起きない」ということは成り立たない fact7: 腹黒いということは馴れ馴れしいということは起こらないということを防ぐ ; $hypothesis$ = もやもにゅLv.88事件は発生しない ; $proof$ = 
fact7 & fact2 -> int1: 馴れ馴れしいということが生じる; int1 & fact3 -> int2: 「馴れ馴れしいということが発生するし加えてもよもにゅLv.65事件は発生する」ということは真実だ; int2 & fact1 -> hypothesis; __PROVED__
fact7 & fact2 -> int1: {B}; int1 & fact3 -> int2: ({B} & {C}); int2 & fact1 -> hypothesis; __PROVED__