ぽちゃぽえLv.71事件が起きる
fact1: 御忙しいということは起こらない fact2: めんどいということが起こるし薄ら寒いということが発生すればぽちゃぽえLv.71事件は生じない fact3: 「ぽちゃぽえLv.71事件が起きるしさらにめんどいということが起こる」ということは安堵し難いということは起こらないということにもたらされる fact4: 薄ら寒いということが起きる fact5: ぽねぽやLv.30事件および安堵し難いということどちらもが起きる fact6: 黒いということが発生するしその上ぽにゅぽのLv.39事件は発生するとすると「もにゅものLv.5事件は生じない」ということは正しい fact7: 仮に御忙しいということは起こらないとすれば「めんどいということと安堵し難いということ両方ともが発生する」ということは成り立つ
fact7 & fact1 -> int1: めんどいということと安堵し難いということ両方ともが起きる; int1 -> int2: めんどいということが生じる; int2 & fact4 -> int3: めんどいということと薄ら寒いということが起きる; int3 & fact2 -> hypothesis;
fact7 & fact1 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 & fact4 -> int3: ({A} & {C}); int3 & fact2 -> hypothesis;
ぽちゃぽえLv.71事件が起きる
$facts$ = fact1: 御忙しいということは起こらない fact2: めんどいということが起こるし薄ら寒いということが発生すればぽちゃぽえLv.71事件は生じない fact3: 「ぽちゃぽえLv.71事件が起きるしさらにめんどいということが起こる」ということは安堵し難いということは起こらないということにもたらされる fact4: 薄ら寒いということが起きる fact5: ぽねぽやLv.30事件および安堵し難いということどちらもが起きる fact6: 黒いということが発生するしその上ぽにゅぽのLv.39事件は発生するとすると「もにゅものLv.5事件は生じない」ということは正しい fact7: 仮に御忙しいということは起こらないとすれば「めんどいということと安堵し難いということ両方ともが発生する」ということは成り立つ ; $hypothesis$ = ぽちゃぽえLv.71事件が起きる ; $proof$ = 
fact7 & fact1 -> int1: めんどいということと安堵し難いということ両方ともが起きる; int1 -> int2: めんどいということが生じる; int2 & fact4 -> int3: めんどいということと薄ら寒いということが起きる; int3 & fact2 -> hypothesis; __DISPROVED__
fact7 & fact1 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 & fact4 -> int3: ({A} & {C}); int3 & fact2 -> hypothesis; __DISPROVED__