「だらし無いということは起きなくて勇ましいということは起きない」ということは成り立たない
fact1: 口煩いということが起きる fact2: 「だらし無いということは起きないし更に勇ましいということは生じない」ということは「だらし無いということは起きない」ということに起因する fact3: もし仮に「怪しいということおよびぽなぽにょLv.11事件どちらもが生じる」ということは間違いであるとすると「ぽなぽにょLv.11事件は起きない」ということは成り立つ fact4: 怪しいということはぴゆぴのLv.3事件のきっかけとなる fact5: 怪しいということが起こるしさらにみいみえLv.82事件が生じる fact6: もいもわLv.98事件は起こらない fact7: だらし無いということは「ぴゆぴのLv.3事件が起こるがしかしもいもわLv.98事件は生じない」ということに阻止される fact8: もしもみいみえLv.82事件は起こらないとすれば「怪しいということとぽなぽにょLv.11事件が起きる」ということは間違いである
fact5 -> int1: 怪しいということが起こる; int1 & fact4 -> int2: ぴゆぴのLv.3事件が発生する; int2 & fact6 -> int3: ぴゆぴのLv.3事件が起こる一方でもいもわLv.98事件は発生しない; int3 & fact7 -> int4: だらし無いということは発生しない; int4 & fact2 -> hypothesis;
fact5 -> int1: {A}; int1 & fact4 -> int2: {C}; int2 & fact6 -> int3: ({C} & ¬{D}); int3 & fact7 -> int4: ¬{E}; int4 & fact2 -> hypothesis;
ぽなぽにょLv.11事件は起きない
$facts$ = fact1: 口煩いということが起きる fact2: 「だらし無いということは起きないし更に勇ましいということは生じない」ということは「だらし無いということは起きない」ということに起因する fact3: もし仮に「怪しいということおよびぽなぽにょLv.11事件どちらもが生じる」ということは間違いであるとすると「ぽなぽにょLv.11事件は起きない」ということは成り立つ fact4: 怪しいということはぴゆぴのLv.3事件のきっかけとなる fact5: 怪しいということが起こるしさらにみいみえLv.82事件が生じる fact6: もいもわLv.98事件は起こらない fact7: だらし無いということは「ぴゆぴのLv.3事件が起こるがしかしもいもわLv.98事件は生じない」ということに阻止される fact8: もしもみいみえLv.82事件は起こらないとすれば「怪しいということとぽなぽにょLv.11事件が起きる」ということは間違いである ; $hypothesis$ = 「だらし無いということは起きなくて勇ましいということは起きない」ということは成り立たない ; $proof$ = 
fact5 -> int1: 怪しいということが起こる; int1 & fact4 -> int2: ぴゆぴのLv.3事件が発生する; int2 & fact6 -> int3: ぴゆぴのLv.3事件が起こる一方でもいもわLv.98事件は発生しない; int3 & fact7 -> int4: だらし無いということは発生しない; int4 & fact2 -> hypothesis; __DISPROVED__
fact5 -> int1: {A}; int1 & fact4 -> int2: {C}; int2 & fact6 -> int3: ({C} & ¬{D}); int3 & fact7 -> int4: ¬{E}; int4 & fact2 -> hypothesis; __DISPROVED__