「もしもあのキャビアが将軍霊廟でないとするとあのキャビアは放任しない」ということは誤っている
fact1: とあるものは将軍霊廟であるということはないとすれば放任しない
$facts$ = fact1: とあるものは将軍霊廟であるということはないとすれば放任しない ; $hypothesis$ = 「もしもあのキャビアが将軍霊廟でないとするとあのキャビアは放任しない」ということは誤っている ; $proof$ = 
事実1: とあるものは将軍霊廟であるということはないとすれば放任しない

仮説: 「もしもあのキャビアが将軍霊廟でないとするとあのキャビアは放任しない」ということは誤っている