ぽねぽにゅLv.8事件が生じる
fact1: 古いということが起こる fact2: ぽねぽにゅLv.8事件は起こらないということは「古いということとぴにぴなLv.35事件両方ともが生じる」ということにより生じる fact3: 働き易いということと煩わしいということ両方ともが起きる fact4: 「有り難いということは起きない」ということはぴにぴなLv.35事件は発生しないということのきっかけとなる fact5: 仮に「諦め切ることが起きる」ということは本当であるなら湿気易いということは起きなくてぴちゅぴいLv.89事件が生じる fact6: もしも湿気易いということは生じないしぴちゅぴいLv.89事件が起きれば有り難いということは生じない fact7: ぴにぴなLv.35事件が発生する
fact1 & fact7 -> int1: 古いということとぴにぴなLv.35事件が発生する; int1 & fact2 -> hypothesis;
fact1 & fact7 -> int1: ({A} & {B}); int1 & fact2 -> hypothesis;
ぽねぽにゅLv.8事件が生じる
$facts$ = fact1: 古いということが起こる fact2: ぽねぽにゅLv.8事件は起こらないということは「古いということとぴにぴなLv.35事件両方ともが生じる」ということにより生じる fact3: 働き易いということと煩わしいということ両方ともが起きる fact4: 「有り難いということは起きない」ということはぴにぴなLv.35事件は発生しないということのきっかけとなる fact5: 仮に「諦め切ることが起きる」ということは本当であるなら湿気易いということは起きなくてぴちゅぴいLv.89事件が生じる fact6: もしも湿気易いということは生じないしぴちゅぴいLv.89事件が起きれば有り難いということは生じない fact7: ぴにぴなLv.35事件が発生する ; $hypothesis$ = ぽねぽにゅLv.8事件が生じる ; $proof$ = 
fact1 & fact7 -> int1: 古いということとぴにぴなLv.35事件が発生する; int1 & fact2 -> hypothesis; __DISPROVED__
fact1 & fact7 -> int1: ({A} & {B}); int1 & fact2 -> hypothesis; __DISPROVED__