何らかの物は御活躍するしかつ揉み消しだ
fact1: なにかは揉み消しである fact2: この砂礫層は揉み消しだ fact3: この砂礫層は御活躍する
fact3 & fact2 -> int1: この砂礫層は御活躍するし揉み消しである; int1 -> hypothesis;
$facts$ = fact1: なにかは揉み消しである fact2: この砂礫層は揉み消しだ fact3: この砂礫層は御活躍する ; $hypothesis$ = 何らかの物は御活躍するしかつ揉み消しだ ; $proof$ = 
fact3 & fact2 -> int1: この砂礫層は御活躍するし揉み消しである; int1 -> hypothesis; __PROVED__
事実1: なにかは揉み消しである
事実2: この砂礫層は揉み消しだ
事実3: この砂礫層は御活躍する

仮説: 何らかの物は御活躍するしかつ揉み消しだ
1. 事実3と事実2から、推論1: "この砂礫層は御活躍するし揉み消しである"が導かれる
2. 推論1から、仮説が導かれる

よって、仮説が証明されました。