担ぐことが起きる
fact1: ぽねぽわLv.6事件が起きるなら捕らえ易いということは起こらない fact2: 疎ましいということが起こるしぽいぽなLv.81事件が起きる fact3: 担ぐことが起きないということは捕らえ易いということとぽいぽなLv.81事件は発生するが契機だ fact4: 捕らえ易いということは発生しないということはぽいぽなLv.81事件と疎ましいということが発生するを引き起こす fact5: 疎ましいということが発生する fact6: 捕らえ易いということが起こる
fact2 -> int1: ぽいぽなLv.81事件が発生する; int1 & fact6 -> int2: 捕らえ易いということとぽいぽなLv.81事件どちらもが起こる; int2 & fact3 -> hypothesis;
fact2 -> int1: {B}; int1 & fact6 -> int2: ({C} & {B}); int2 & fact3 -> hypothesis;
担ぐことが起きる
$facts$ = fact1: ぽねぽわLv.6事件が起きるなら捕らえ易いということは起こらない fact2: 疎ましいということが起こるしぽいぽなLv.81事件が起きる fact3: 担ぐことが起きないということは捕らえ易いということとぽいぽなLv.81事件は発生するが契機だ fact4: 捕らえ易いということは発生しないということはぽいぽなLv.81事件と疎ましいということが発生するを引き起こす fact5: 疎ましいということが発生する fact6: 捕らえ易いということが起こる ; $hypothesis$ = 担ぐことが起きる ; $proof$ = 
fact2 -> int1: ぽいぽなLv.81事件が発生する; int1 & fact6 -> int2: 捕らえ易いということとぽいぽなLv.81事件どちらもが起こる; int2 & fact3 -> hypothesis; __DISPROVED__
fact2 -> int1: {B}; int1 & fact6 -> int2: ({C} & {B}); int2 & fact3 -> hypothesis; __DISPROVED__