「「その分割基準はか細くないがそれは重い」ということは成り立たないとするとその分割基準は判明致さない」ということは成り立たない
fact1: もし仮に「あるものはか細くないけれど重い」ということは間違っているとすると判明致さない
$facts$ = fact1: もし仮に「あるものはか細くないけれど重い」ということは間違っているとすると判明致さない ; $hypothesis$ = 「「その分割基準はか細くないがそれは重い」ということは成り立たないとするとその分割基準は判明致さない」ということは成り立たない ; $proof$ = 
事実1: もし仮に「あるものはか細くないけれど重い」ということは間違っているとすると判明致さない

仮説: 「「その分割基準はか細くないがそれは重い」ということは成り立たないとするとその分割基準は判明致さない」ということは成り立たない