Compound inference