Decremental Maintenance of Reachability in Hypergraphs and Minimum Models of Horn Formulae