「ぴわぴにLv.57事件と仕事らしいということ両方ともが生じる」ということは成り立たない
fact1: 御強いということが起こる fact2: 泥臭いということが起こる fact3: みえみにゅLv.65事件が生じる fact4: 与し易いということおよびみえみにゅLv.65事件両方ともが発生する fact5: すこいということは生じないということは仕事らしいということは起きないということを阻止する fact6: ぴわぴにLv.57事件が起こる fact7: 「与し易いということが発生するしさらに御強いということは発生する」ということは「すこいということは起きない」ということの原因となる
fact4 -> int1: 与し易いということが発生する; int1 & fact1 -> int2: 与し易いということおよび御強いということ両方が発生する; int2 & fact7 -> int3: すこいということは生じない; int3 & fact5 -> int4: 仕事らしいということが起きる; int4 & fact6 -> hypothesis;
fact4 -> int1: {A}; int1 & fact1 -> int2: ({A} & {C}); int2 & fact7 -> int3: ¬{D}; int3 & fact5 -> int4: {E}; int4 & fact6 -> hypothesis;
$facts$ = fact1: 御強いということが起こる fact2: 泥臭いということが起こる fact3: みえみにゅLv.65事件が生じる fact4: 与し易いということおよびみえみにゅLv.65事件両方ともが発生する fact5: すこいということは生じないということは仕事らしいということは起きないということを阻止する fact6: ぴわぴにLv.57事件が起こる fact7: 「与し易いということが発生するしさらに御強いということは発生する」ということは「すこいということは起きない」ということの原因となる ; $hypothesis$ = 「ぴわぴにLv.57事件と仕事らしいということ両方ともが生じる」ということは成り立たない ; $proof$ = 
fact4 -> int1: 与し易いということが発生する; int1 & fact1 -> int2: 与し易いということおよび御強いということ両方が発生する; int2 & fact7 -> int3: すこいということは生じない; int3 & fact5 -> int4: 仕事らしいということが起きる; int4 & fact6 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}; int1 & fact1 -> int2: ({A} & {C}); int2 & fact7 -> int3: ¬{D}; int3 & fact5 -> int4: {E}; int4 & fact6 -> hypothesis; __DISPROVED__