ぴにょぴいLv.77事件は発生しない
fact1: もし生え易いということおよび溜まり易いということどちらもが発生するとすればぴにょぴいLv.77事件は発生しない fact2: 溜まり易いということが発生する fact3: 生え易いということが生じるしおまけにしどけないということが起きる
fact3 -> int1: 生え易いということが起こる; int1 & fact2 -> int2: 生え易いということと溜まり易いということが生じる; int2 & fact1 -> hypothesis;
fact3 -> int1: {A}; int1 & fact2 -> int2: ({A} & {C}); int2 & fact1 -> hypothesis;
$facts$ = fact1: もし生え易いということおよび溜まり易いということどちらもが発生するとすればぴにょぴいLv.77事件は発生しない fact2: 溜まり易いということが発生する fact3: 生え易いということが生じるしおまけにしどけないということが起きる ; $hypothesis$ = ぴにょぴいLv.77事件は発生しない ; $proof$ = 
fact3 -> int1: 生え易いということが起こる; int1 & fact2 -> int2: 生え易いということと溜まり易いということが生じる; int2 & fact1 -> hypothesis; __PROVED__
fact3 -> int1: {A}; int1 & fact2 -> int2: ({A} & {C}); int2 & fact1 -> hypothesis; __PROVED__