「「ぽいぽえLv.88事件が起こるし渋いということが起きる」ということは成り立つ」ということは成り立たない
fact1: もしも「まいまわLv.78事件が起きるけれど群れることは起きない」ということは成り立つとすれば細長いということは生じない fact2: ぽえぽなLv.89事件とぽのぽなLv.55事件どちらもが起こる fact3: 新しということが発生する fact4: 暮れることは新しということおよびもねもやLv.51事件が起きるに阻止される fact5: ぽいぽえLv.88事件が起こる fact6: まどろっこしいということが起こる fact7: もねもやLv.51事件が起きる fact8: 「細長いということは発生しない」ということは「渋いということは生じないしぽいぽえLv.88事件が起こる」ということを招く fact9: もし仮にもねもやLv.51事件は起きないとすると新しということおよびぽにょぽやLv.11事件両方が生じる
fact3 & fact7 -> int1: 新しということおよびもねもやLv.51事件両方が生じる; int1 & fact4 -> int2: 暮れることは発生しない; int2 & fact6 -> int3: まどろっこしいということが起こるし暮れることは起こらない;
fact3 & fact7 -> int1: ({A} & {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact6 -> int3: ({D} & ¬{C});
ぽにょぽやLv.11事件が生じる
$facts$ = fact1: もしも「まいまわLv.78事件が起きるけれど群れることは起きない」ということは成り立つとすれば細長いということは生じない fact2: ぽえぽなLv.89事件とぽのぽなLv.55事件どちらもが起こる fact3: 新しということが発生する fact4: 暮れることは新しということおよびもねもやLv.51事件が起きるに阻止される fact5: ぽいぽえLv.88事件が起こる fact6: まどろっこしいということが起こる fact7: もねもやLv.51事件が起きる fact8: 「細長いということは発生しない」ということは「渋いということは生じないしぽいぽえLv.88事件が起こる」ということを招く fact9: もし仮にもねもやLv.51事件は起きないとすると新しということおよびぽにょぽやLv.11事件両方が生じる ; $hypothesis$ = 「「ぽいぽえLv.88事件が起こるし渋いということが起きる」ということは成り立つ」ということは成り立たない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__