Retroduction is similar to induction, but it is predicated on known or assumed relationary rules and observations that contain at least one of the predicates or predictors of the rules in question. Another predicate of the relationary rule is then generalized to the observation due to the coincidence of the other predicates in both the observation and the rule