「入れ難いということが発生する」ということは誤っていない
fact1: 走り易いということは生じないならば「まちゃまゆLv.84事件が起きるし加えてまやまちょLv.76事件が生じる」ということは誤りだ fact2: まやまちょLv.76事件が起こる fact3: 取り組み易いということが起きる fact4: 「走り易いということは生じない」ということは「区別し易いということと取り組み易いということが起こる」ということが契機だ fact5: 「もにょもにゃLv.8事件および掻き出すことどちらもが発生する」ということは間違いだ fact6: 区別し易いということが発生する fact7: ぴにゃぴちゃLv.1事件は起きないということはぷにぷよLv.63事件を防ぐ fact8: みなみにゃLv.63事件と夏らしいということ両方ともが生じる fact9: もしも「まちゃまゆLv.84事件が生じるしおまけにまやまちょLv.76事件が起こる」ということは成り立たないなら入れ難いということは起こらない fact10: 「長たらしいということが起こるしかつぷねぷにゅLv.41事件が発生する」ということは偽である
fact6 & fact3 -> int1: 区別し易いということが起こるしかつ取り組み易いということが起きる; int1 & fact4 -> int2: 「走り易いということは起きない」ということは真実だ; int2 & fact1 -> int3: 「まちゃまゆLv.84事件とまやまちょLv.76事件どちらもが発生する」ということは成り立たない; int3 & fact9 -> hypothesis;
fact6 & fact3 -> int1: ({A} & {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact1 -> int3: ¬({D} & {E}); int3 & fact9 -> hypothesis;
百姓らしいということとぴのぴちょLv.13事件両方が起きる
$facts$ = fact1: 走り易いということは生じないならば「まちゃまゆLv.84事件が起きるし加えてまやまちょLv.76事件が生じる」ということは誤りだ fact2: まやまちょLv.76事件が起こる fact3: 取り組み易いということが起きる fact4: 「走り易いということは生じない」ということは「区別し易いということと取り組み易いということが起こる」ということが契機だ fact5: 「もにょもにゃLv.8事件および掻き出すことどちらもが発生する」ということは間違いだ fact6: 区別し易いということが発生する fact7: ぴにゃぴちゃLv.1事件は起きないということはぷにぷよLv.63事件を防ぐ fact8: みなみにゃLv.63事件と夏らしいということ両方ともが生じる fact9: もしも「まちゃまゆLv.84事件が生じるしおまけにまやまちょLv.76事件が起こる」ということは成り立たないなら入れ難いということは起こらない fact10: 「長たらしいということが起こるしかつぷねぷにゅLv.41事件が発生する」ということは偽である ; $hypothesis$ = 「入れ難いということが発生する」ということは誤っていない ; $proof$ = 
fact6 & fact3 -> int1: 区別し易いということが起こるしかつ取り組み易いということが起きる; int1 & fact4 -> int2: 「走り易いということは起きない」ということは真実だ; int2 & fact1 -> int3: 「まちゃまゆLv.84事件とまやまちょLv.76事件どちらもが発生する」ということは成り立たない; int3 & fact9 -> hypothesis; __DISPROVED__
fact6 & fact3 -> int1: ({A} & {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact1 -> int3: ¬({D} & {E}); int3 & fact9 -> hypothesis; __DISPROVED__