そのマザゴン造船所は駆らない
fact1: もしもその上瞼が判断し難いならばあのマザゴン造船所は駆る fact2: その上瞼は判断し難くてかつ掻き易い
fact2 -> int1: その上瞼は判断し難い; int1 & fact1 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact1 -> hypothesis;
$facts$ = fact1: もしもその上瞼が判断し難いならばあのマザゴン造船所は駆る fact2: その上瞼は判断し難くてかつ掻き易い ; $hypothesis$ = そのマザゴン造船所は駆らない ; $proof$ = 
fact2 -> int1: その上瞼は判断し難い; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: もしもその上瞼が判断し難いならばあのマザゴン造船所は駆る
事実2: その上瞼は判断し難くてかつ掻き易い

仮説: そのマザゴン造船所は駆らない
1. 事実2から、推論1: "その上瞼は判断し難い"が導かれる
2. 推論1と事実1から、仮説が否定される

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