「もしもその有漏が吸収され難いならその有漏はちょろくない」ということは成り立つということはない
fact1: 吸収され難いものはちょろくない
$facts$ = fact1: 吸収され難いものはちょろくない ; $hypothesis$ = 「もしもその有漏が吸収され難いならその有漏はちょろくない」ということは成り立つということはない ; $proof$ = 
事実1: 吸収され難いものはちょろくない

仮説: 「もしもその有漏が吸収され難いならその有漏はちょろくない」ということは成り立つということはない