ぽねぽよLv.59事件が起こる
fact1: 「まいまわLv.32事件が発生する」ということは本当である fact2: 仮に「ぽちゃぽちゃLv.69事件が起こるけどものもやLv.92事件は発生しない」ということは間違っているとすれば共鳴し易いということは発生しない fact3: 「まゆまよLv.27事件が発生するし有るらしいということは発生する」ということは「御知らせすることは発生しない」ということが原因である fact4: もし仮に共鳴し易いということは起こらないならまいまわLv.32事件が起きないししかも御知らせすることは発生しない fact5: もし有るらしいということは発生しないとしたらまゆまよLv.27事件とぽねぽよLv.59事件が起こる fact6: まゆまよLv.27事件が起きる fact7: 御知らせすることは生じない fact8: ぽねぽよLv.59事件が起きないということは有るらしいということとまいまわLv.32事件は発生するがきっかけだ
fact3 & fact7 -> int1: まゆまよLv.27事件および有るらしいということどちらもが起こる; int1 -> int2: 有るらしいということが発生する; int2 & fact1 -> int3: 「有るらしいということおよびまいまわLv.32事件が発生する」ということは誤りでない; int3 & fact8 -> hypothesis;
fact3 & fact7 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 & fact1 -> int3: ({B} & {C}); int3 & fact8 -> hypothesis;
ぽねぽよLv.59事件が起こる
$facts$ = fact1: 「まいまわLv.32事件が発生する」ということは本当である fact2: 仮に「ぽちゃぽちゃLv.69事件が起こるけどものもやLv.92事件は発生しない」ということは間違っているとすれば共鳴し易いということは発生しない fact3: 「まゆまよLv.27事件が発生するし有るらしいということは発生する」ということは「御知らせすることは発生しない」ということが原因である fact4: もし仮に共鳴し易いということは起こらないならまいまわLv.32事件が起きないししかも御知らせすることは発生しない fact5: もし有るらしいということは発生しないとしたらまゆまよLv.27事件とぽねぽよLv.59事件が起こる fact6: まゆまよLv.27事件が起きる fact7: 御知らせすることは生じない fact8: ぽねぽよLv.59事件が起きないということは有るらしいということとまいまわLv.32事件は発生するがきっかけだ ; $hypothesis$ = ぽねぽよLv.59事件が起こる ; $proof$ = 
fact3 & fact7 -> int1: まゆまよLv.27事件および有るらしいということどちらもが起こる; int1 -> int2: 有るらしいということが発生する; int2 & fact1 -> int3: 「有るらしいということおよびまいまわLv.32事件が発生する」ということは誤りでない; int3 & fact8 -> hypothesis; __DISPROVED__
fact3 & fact7 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 & fact1 -> int3: ({B} & {C}); int3 & fact8 -> hypothesis; __DISPROVED__