「「むさくないとするとオファー・レートであるが御求めに成らない」物はある」ということは正しくない
fact1: もしそのハートビル法がむさくないならばそれはオファー・レートだ一方で御求めに成らない
$facts$ = fact1: もしそのハートビル法がむさくないならばそれはオファー・レートだ一方で御求めに成らない ; $hypothesis$ = 「「むさくないとするとオファー・レートであるが御求めに成らない」物はある」ということは正しくない ; $proof$ = 
事実1: もしそのハートビル法がむさくないならばそれはオファー・レートだ一方で御求めに成らない

仮説: 「「むさくないとするとオファー・レートであるが御求めに成らない」物はある」ということは正しくない