攻撃力＆防御力＆魔力＆魔法防御力＆素早さ:Fish7 = min { n ∈ ℕ | ∀φ ∈ L_{10^100} ( Length(φ) ≤ 10^100 ⇒ ¬Sat_{L_{10^100}}(n, φ) ) }