「もし欲しいとしたら妬ましくない」ものはある
fact1: このフライス加工が欲しいとすればそれは妬ましくない
$facts$ = fact1: このフライス加工が欲しいとすればそれは妬ましくない ; $hypothesis$ = 「もし欲しいとしたら妬ましくない」ものはある ; $proof$ = 
事実1: このフライス加工が欲しいとすればそれは妬ましくない

仮説: 「もし欲しいとしたら妬ましくない」ものはある