下り立つことが発生する
fact1: ぴにゃぴえLv.28事件は起きない fact2: 下り立つことは選択し易いということと証券化することが起きるに防がれる fact3: 選択し易いということが起こる fact4: 証券化することおよび飲み難いということが発生する
fact4 -> int1: 証券化することが生じる; int1 & fact3 -> int2: 選択し易いということが生じるしそれに証券化することが起こる; int2 & fact2 -> hypothesis;
fact4 -> int1: {A}; int1 & fact3 -> int2: ({C} & {A}); int2 & fact2 -> hypothesis;
$facts$ = fact1: ぴにゃぴえLv.28事件は起きない fact2: 下り立つことは選択し易いということと証券化することが起きるに防がれる fact3: 選択し易いということが起こる fact4: 証券化することおよび飲み難いということが発生する ; $hypothesis$ = 下り立つことが発生する ; $proof$ = 
fact4 -> int1: 証券化することが生じる; int1 & fact3 -> int2: 選択し易いということが生じるしそれに証券化することが起こる; int2 & fact2 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}; int1 & fact3 -> int2: ({C} & {A}); int2 & fact2 -> hypothesis; __DISPROVED__