軽視出来ることが起こる
fact1: 「移動し易いということとぷちょぷゆLv.67事件が起きる」ということは軽視出来ることは生じないということの原因となる fact2: つべたいということおよび移動し易いということ両方ともが生じる fact3: 移動し易いということは起きないということは「つべたいということと軽視出来ることが起こる」ということに帰結する fact4: ぷちょぷゆLv.67事件が生じる
fact2 -> int1: 移動し易いということが起こる; int1 & fact4 -> int2: 移動し易いということおよびぷちょぷゆLv.67事件どちらもが起きる; int2 & fact1 -> hypothesis;
fact2 -> int1: {B}; int1 & fact4 -> int2: ({B} & {C}); int2 & fact1 -> hypothesis;
軽視出来ることが起こる
$facts$ = fact1: 「移動し易いということとぷちょぷゆLv.67事件が起きる」ということは軽視出来ることは生じないということの原因となる fact2: つべたいということおよび移動し易いということ両方ともが生じる fact3: 移動し易いということは起きないということは「つべたいということと軽視出来ることが起こる」ということに帰結する fact4: ぷちょぷゆLv.67事件が生じる ; $hypothesis$ = 軽視出来ることが起こる ; $proof$ = 
fact2 -> int1: 移動し易いということが起こる; int1 & fact4 -> int2: 移動し易いということおよびぷちょぷゆLv.67事件どちらもが起きる; int2 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: {B}; int1 & fact4 -> int2: ({B} & {C}); int2 & fact1 -> hypothesis; __DISPROVED__