As far as making inferences goes, these “complex conditional” rules behave exactly like any other conditional. There is modus ponens, where if the sufficient condition occurs (is triggered), then you can infer that the necessary conditions must occur as well. And, there is modus tollens, where if the necessary condition does not occur (another form