Is it true that, given a space $X$ and a probability measure $\mu$ on it, given some sets $A, B \subset X$ and a finite number of disjoint sets $C_{\sigma}$ such that $\bigcup_{\sigma} C_{\sigma} =X$, the following inequality holds, $$\sum_{\sigma}\mu(A \cap C_{\sigma}\cap B) \leq \sum_{\sigma} \frac{ \mu(A \cap C_{\sigma} ) } {\mu(A)} \frac{\mu( C_{\sigma} \cap B)}{\mu(C_{\sigma})}, ? $$