このニヤレストポイントＹは特記すがしかしスパンでない
fact1: 「このニヤレストポイントＹは特記すけれどスパンでない」ということは確かでない
$facts$ = fact1: 「このニヤレストポイントＹは特記すけれどスパンでない」ということは確かでない ; $hypothesis$ = このニヤレストポイントＹは特記すがしかしスパンでない ; $proof$ = 
事実1: 「このニヤレストポイントＹは特記すけれどスパンでない」ということは確かでない

仮説: このニヤレストポイントＹは特記すがしかしスパンでない