この太閤様は算定し難くないかもしくは地下深いか両方だ
fact1: すべてのものは算定し難い fact2: 算定し難くないかまたは地下深いかまたは両方ともなものはない
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: すべてのものは算定し難い fact2: 算定し難くないかまたは地下深いかまたは両方ともなものはない ; $hypothesis$ = この太閤様は算定し難くないかもしくは地下深いか両方だ ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: すべてのものは算定し難い
事実2: 算定し難くないかまたは地下深いかまたは両方ともなものはない

仮説: この太閤様は算定し難くないかもしくは地下深いか両方だ
1. 事実2から、仮説が否定される

よって、仮説が否定されました。