「この核施設は労働安全衛生マネジメント・システムでないし別言しない」ということは間違っている
fact1: この核施設が労働安全衛生マネジメント・システムだということはないしその上それは別言しない
$facts$ = fact1: この核施設が労働安全衛生マネジメント・システムだということはないしその上それは別言しない ; $hypothesis$ = 「この核施設は労働安全衛生マネジメント・システムでないし別言しない」ということは間違っている ; $proof$ = 
事実1: この核施設が労働安全衛生マネジメント・システムだということはないしその上それは別言しない

仮説: 「この核施設は労働安全衛生マネジメント・システムでないし別言しない」ということは間違っている