「誤解し易いということは生じないしそれにぽくぽのLv.93事件は起こらない」ということは成り立たない
fact1: 誤解し易いということは倦むことは生じないということに阻まれる fact2: 茶色っぽいということおよび凛々しいということが生じる fact3: 倦むことは生じないということは「誤解し易いということは生じなくてしかもぽくぽのLv.93事件は起きない」ということの原因となる fact4: もしまいまねLv.56事件は生じないとすれば「誤解し易いということは起きなくてそれにぽくぽのLv.93事件は起きない」ということは成り立つということはない fact5: ぽよぽなLv.94事件が発生する fact6: まいまねLv.56事件が起きる fact7: 倦むことは「まいまねLv.56事件が起きるし更にぽよぽなLv.94事件が起こる」ということに阻まれる fact8: 誤解し易いということは発生しない
fact6 & fact5 -> int1: まいまねLv.56事件およびぽよぽなLv.94事件両方ともが生じる; int1 & fact7 -> int2: 倦むことは発生しない; int2 & fact3 -> hypothesis;
fact6 & fact5 -> int1: ({A} & {B}); int1 & fact7 -> int2: ¬{C}; int2 & fact3 -> hypothesis;
「誤解し易いということは生じないしそれにぽくぽのLv.93事件は起こらない」ということは成り立たない
$facts$ = fact1: 誤解し易いということは倦むことは生じないということに阻まれる fact2: 茶色っぽいということおよび凛々しいということが生じる fact3: 倦むことは生じないということは「誤解し易いということは生じなくてしかもぽくぽのLv.93事件は起きない」ということの原因となる fact4: もしまいまねLv.56事件は生じないとすれば「誤解し易いということは起きなくてそれにぽくぽのLv.93事件は起きない」ということは成り立つということはない fact5: ぽよぽなLv.94事件が発生する fact6: まいまねLv.56事件が起きる fact7: 倦むことは「まいまねLv.56事件が起きるし更にぽよぽなLv.94事件が起こる」ということに阻まれる fact8: 誤解し易いということは発生しない ; $hypothesis$ = 「誤解し易いということは生じないしそれにぽくぽのLv.93事件は起こらない」ということは成り立たない ; $proof$ = 
fact6 & fact5 -> int1: まいまねLv.56事件およびぽよぽなLv.94事件両方ともが生じる; int1 & fact7 -> int2: 倦むことは発生しない; int2 & fact3 -> hypothesis; __DISPROVED__
fact6 & fact5 -> int1: ({A} & {B}); int1 & fact7 -> int2: ¬{C}; int2 & fact3 -> hypothesis; __DISPROVED__