古しということは生じない
fact1: ぽやぽのLv.72事件とまちょまのLv.16事件どちらもが起こる fact2: ぷにょぷゆLv.43事件と消化吸収され易いということが生じる fact3: 漕ぎ着けることが発生する fact4: もし仮に漕ぎ着けることとぷにょぷゆLv.43事件両方が生じれば古しということは生じない
fact2 -> int1: ぷにょぷゆLv.43事件が起きる; int1 & fact3 -> int2: 漕ぎ着けることとぷにょぷゆLv.43事件が生じる; int2 & fact4 -> hypothesis;
fact2 -> int1: {A}; int1 & fact3 -> int2: ({C} & {A}); int2 & fact4 -> hypothesis;
$facts$ = fact1: ぽやぽのLv.72事件とまちょまのLv.16事件どちらもが起こる fact2: ぷにょぷゆLv.43事件と消化吸収され易いということが生じる fact3: 漕ぎ着けることが発生する fact4: もし仮に漕ぎ着けることとぷにょぷゆLv.43事件両方が生じれば古しということは生じない ; $hypothesis$ = 古しということは生じない ; $proof$ = 
fact2 -> int1: ぷにょぷゆLv.43事件が起きる; int1 & fact3 -> int2: 漕ぎ着けることとぷにょぷゆLv.43事件が生じる; int2 & fact4 -> hypothesis; __PROVED__
fact2 -> int1: {A}; int1 & fact3 -> int2: ({C} & {A}); int2 & fact4 -> hypothesis; __PROVED__