An inference algorithm for networks that mix strict and defeasible inheritance