Currently, ReactiveMP.jl does not support inference in Belief networks composed of Bernoulli random variables (RVs).
One good example of such a network is shown in Chapter 2 of Bishop's Model-Based Machine Learning book.
The dependencies between these variables are enforced by logic functions, e.g., AND, NOT, OR, etc.
ForneyLab.jl has the demo on building AND node.
A related issue was initially opened in ForneyLab.jl.