Inverse Reasoning