「もし「その理念はこよないししかもそれは鋭い」ということは間違いだとすればあの理念はセキュリティポリシーでない」ということは誤っている
fact1: もしも「なんらかの物はこよないしそれは鋭い」ということは間違いであるならばセキュリティポリシーでない
$facts$ = fact1: もしも「なんらかの物はこよないしそれは鋭い」ということは間違いであるならばセキュリティポリシーでない ; $hypothesis$ = 「もし「その理念はこよないししかもそれは鋭い」ということは間違いだとすればあの理念はセキュリティポリシーでない」ということは誤っている ; $proof$ = 
事実1: もしも「なんらかの物はこよないしそれは鋭い」ということは間違いであるならばセキュリティポリシーでない

仮説: 「もし「その理念はこよないししかもそれは鋭い」ということは間違いだとすればあの理念はセキュリティポリシーでない」ということは誤っている