Conditional inference plays a central role in logical and Bayesian reasoning, and is used in a wide range of applications. It basically consists of expressing conditional relationship between parent and child propositions, and then to combine those conditionals with evidence about the parent...