Reasoning Under Adversarial Uncertainty: Inductive, Deductive, and Abductive Analysis Applied to a Compromised ML Environment: A Synthetic Case Study | Synapse