5. The method according to claim 1 , wherein the at least one hardware processor further performs: creating a largest composite sets of evidences G according to a union of a plurality of composite sets of evidences G 1 v , subject to the relationship constraints κ , which support the composite rule L 0 v ; and computing a composite object ω 2 v indicative according to a deductive reasoning of a second validity value for target rule L.
5. The method according to claim 1 , wherein the at least one hardware processor further performs: creating a largest composite sets of evidences G according to a union of a plurality of composite sets of evidences G 1 v , subject to the relationship constraints κ , which support the composite rule L 0 v ; and computing a composite object ω 2 v indicative according to a deductive reasoning of a second validity value for target rule L. 11. The method according to claim 5 , wherein the creating the largest composite sets of evidences G comprises: repeatedly combining at least two of the subsets of evidences E of a composite sets of evidences G 1 v by merging rules A and taking intersection of corresponding subsets of evidences E, subject to the relationship constraints κ among the subsets of evidences E.