この手順通りは真新しい
fact1: この手順通りは操作し易いしかつ倣う fact2: もしこの手順通りが操作し易くて倣うとすれば「それは真新しくない」ということは正しい
$facts$ = fact1: この手順通りは操作し易いしかつ倣う fact2: もしこの手順通りが操作し易くて倣うとすれば「それは真新しくない」ということは正しい ; $hypothesis$ = この手順通りは真新しい ; $proof$ = 
事実1: この手順通りは操作し易いしかつ倣う
事実2: もしこの手順通りが操作し易くて倣うとすれば「それは真新しくない」ということは正しい

仮説: この手順通りは真新しい