もし仮に「その連結資本積立金発生額はエデン・ロック・ホテルであるがしかし疲弊しない」ということは間違いならそれはＡランクであるということはない
fact1: 「とあるものはエデン・ロック・ホテルである一方で疲弊するということはない」ということは成り立たないとすればＡランクでない
$facts$ = fact1: 「とあるものはエデン・ロック・ホテルである一方で疲弊するということはない」ということは成り立たないとすればＡランクでない ; $hypothesis$ = もし仮に「その連結資本積立金発生額はエデン・ロック・ホテルであるがしかし疲弊しない」ということは間違いならそれはＡランクであるということはない ; $proof$ = 
事実1: 「とあるものはエデン・ロック・ホテルである一方で疲弊するということはない」ということは成り立たないとすればＡランクでない

仮説: もし仮に「その連結資本積立金発生額はエデン・ロック・ホテルであるがしかし疲弊しない」ということは間違いならそれはＡランクであるということはない