ぽよぽいLv.32事件は発生しない
fact1: ぽゆぽにゃLv.46事件およびみいみちゃLv.63事件が起きる fact2: 仮に熱っぽいということは発生しないとするとぽよぽいLv.32事件は起こらなくてそれに切り難いということは起こらない fact3: みにみちゅLv.50事件が起こる fact4: 「みにみちゅLv.50事件とぽゆぽにゃLv.46事件両方ともが発生する」ということは熱っぽいということを阻む fact5: ぽねぽやLv.78事件が起きるしさらにもどかしいということが起こる fact6: まわまなLv.85事件は起きなくてもゆもちょLv.56事件は起きない fact7: 移動し易いということが起こる
fact1 -> int1: ぽゆぽにゃLv.46事件が起きる; int1 & fact3 -> int2: みにみちゅLv.50事件が起こるしぽゆぽにゃLv.46事件が発生する; int2 & fact4 -> int3: 熱っぽいということは生じない; int3 & fact2 -> int4: ぽよぽいLv.32事件は起きなくて更に切り難いということは起きない; int4 -> hypothesis;
fact1 -> int1: {A}; int1 & fact3 -> int2: ({C} & {A}); int2 & fact4 -> int3: ¬{D}; int3 & fact2 -> int4: (¬{F} & ¬{E}); int4 -> hypothesis;
$facts$ = fact1: ぽゆぽにゃLv.46事件およびみいみちゃLv.63事件が起きる fact2: 仮に熱っぽいということは発生しないとするとぽよぽいLv.32事件は起こらなくてそれに切り難いということは起こらない fact3: みにみちゅLv.50事件が起こる fact4: 「みにみちゅLv.50事件とぽゆぽにゃLv.46事件両方ともが発生する」ということは熱っぽいということを阻む fact5: ぽねぽやLv.78事件が起きるしさらにもどかしいということが起こる fact6: まわまなLv.85事件は起きなくてもゆもちょLv.56事件は起きない fact7: 移動し易いということが起こる ; $hypothesis$ = ぽよぽいLv.32事件は発生しない ; $proof$ = 
fact1 -> int1: ぽゆぽにゃLv.46事件が起きる; int1 & fact3 -> int2: みにみちゅLv.50事件が起こるしぽゆぽにゃLv.46事件が発生する; int2 & fact4 -> int3: 熱っぽいということは生じない; int3 & fact2 -> int4: ぽよぽいLv.32事件は起きなくて更に切り難いということは起きない; int4 -> hypothesis; __PROVED__
fact1 -> int1: {A}; int1 & fact3 -> int2: ({C} & {A}); int2 & fact4 -> int3: ¬{D}; int3 & fact2 -> int4: (¬{F} & ¬{E}); int4 -> hypothesis; __PROVED__