This applet shows the 24 elementary independency statements over 4 variables. The applet calculates which (elementary) independency statements are implied by the given set of imsets using a linear programming approach.
With the mouse button, the independency statements are selected. After the calculation, statements that can be falsified are red, the other orange. Only statements that are inactive (i.e. not white) are checked. This way, you can check for example that I(A,B|) & I(A,C|B) =/=> I(B,C|).
By clicking with the mouse on the independency statement, they become active (white) or inactive (black).
Press the Go-button to start the calculation and the Stop button to interupt.