この原書房は押し下げる
fact1: あのドクトリンは極まりない fact2: この原書房は極まりないし押し下げる fact3: この原書房は意味する fact4: この原書房は極まりなくておまけに打ち落とす
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: あのドクトリンは極まりない fact2: この原書房は極まりないし押し下げる fact3: この原書房は意味する fact4: この原書房は極まりなくておまけに打ち落とす ; $hypothesis$ = この原書房は押し下げる ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: あのドクトリンは極まりない
事実2: この原書房は極まりないし押し下げる
事実3: この原書房は意味する
事実4: この原書房は極まりなくておまけに打ち落とす

仮説: この原書房は押し下げる
1. 事実2から、仮説が導かれる

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