「あのハートウェルは推察致す」ということは嘘でない
fact1: あのハートウェルは成功し易いしさらに推察致す
$facts$ = fact1: あのハートウェルは成功し易いしさらに推察致す ; $hypothesis$ = 「あのハートウェルは推察致す」ということは嘘でない ; $proof$ = 
事実1: あのハートウェルは成功し易いしさらに推察致す

仮説: 「あのハートウェルは推察致す」ということは嘘でない