とあるものは久しないし更に把握し易くない
fact1: あの小論理学が上がり易くないとしたらあの州間は久しないしかつ把握し易くない fact2: あの小論理学は上がり易くない
fact1 & fact2 -> int1: あの州間は久しないしそれに把握し易くない; int1 -> hypothesis;
$facts$ = fact1: あの小論理学が上がり易くないとしたらあの州間は久しないしかつ把握し易くない fact2: あの小論理学は上がり易くない ; $hypothesis$ = とあるものは久しないし更に把握し易くない ; $proof$ = 
fact1 & fact2 -> int1: あの州間は久しないしそれに把握し易くない; int1 -> hypothesis; __PROVED__
事実1: あの小論理学が上がり易くないとしたらあの州間は久しないしかつ把握し易くない
事実2: あの小論理学は上がり易くない

仮説: とあるものは久しないし更に把握し易くない
1. 事実1と事実2から、推論1: "あの州間は久しないしそれに把握し易くない"が導かれる
2. 推論1から、仮説が導かれる

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