ぴゆぴにLv.66事件が起きる
fact1: おもろいということが起こる fact2: ぴいぴにゃLv.45事件が涼しいということは契機だ fact3: 「易しということは起こらない」ということはぴいぴにゃLv.45事件に阻まれる fact4: することが起こる fact5: 険しいということは「ぽちゃぽわLv.91事件および慈悲深いということどちらもが発生する」ということに阻止される fact6: ぴいぴいLv.44事件は浅ましいということに引き起こされる fact7: もにもにゅLv.88事件が起こる fact8: 「ものもちゅLv.33事件は起こらない」ということは成り立つ fact9: にっこりすることが起こる fact10: もし易しということが発生するしもにもにゅLv.88事件が生じればぴゆぴにLv.66事件は生じない fact11: 涼しいということはすることにもたらされる
fact11 & fact4 -> int1: 涼しいということが起こる; int1 & fact2 -> int2: ぴいぴにゃLv.45事件が生じる; int2 & fact3 -> int3: 易しということが起きる; int3 & fact7 -> int4: 「易しということともにもにゅLv.88事件が起きる」ということは成り立つ; int4 & fact10 -> hypothesis;
fact11 & fact4 -> int1: {B}; int1 & fact2 -> int2: {C}; int2 & fact3 -> int3: {D}; int3 & fact7 -> int4: ({D} & {E}); int4 & fact10 -> hypothesis;
$facts$ = fact1: おもろいということが起こる fact2: ぴいぴにゃLv.45事件が涼しいということは契機だ fact3: 「易しということは起こらない」ということはぴいぴにゃLv.45事件に阻まれる fact4: することが起こる fact5: 険しいということは「ぽちゃぽわLv.91事件および慈悲深いということどちらもが発生する」ということに阻止される fact6: ぴいぴいLv.44事件は浅ましいということに引き起こされる fact7: もにもにゅLv.88事件が起こる fact8: 「ものもちゅLv.33事件は起こらない」ということは成り立つ fact9: にっこりすることが起こる fact10: もし易しということが発生するしもにもにゅLv.88事件が生じればぴゆぴにLv.66事件は生じない fact11: 涼しいということはすることにもたらされる ; $hypothesis$ = ぴゆぴにLv.66事件が起きる ; $proof$ = 
fact11 & fact4 -> int1: 涼しいということが起こる; int1 & fact2 -> int2: ぴいぴにゃLv.45事件が生じる; int2 & fact3 -> int3: 易しということが起きる; int3 & fact7 -> int4: 「易しということともにもにゅLv.88事件が起きる」ということは成り立つ; int4 & fact10 -> hypothesis; __DISPROVED__
fact11 & fact4 -> int1: {B}; int1 & fact2 -> int2: {C}; int2 & fact3 -> int3: {D}; int3 & fact7 -> int4: ({D} & {E}); int4 & fact10 -> hypothesis; __DISPROVED__