Seol mar théacs é seo: Nonmonotonic Probabilistic Logics under Variable−Strength Inheritance with Overriding: Complexity‚ Algorithms‚ and Implementation