This applet shows the 24 elementary independency statements over 4 variables. The applet calculates which (elementary) independency statements certainly not follow from a given set of (elementary) independency statements by randomly generating modular functions. If the imset represented by the selected statements does not have a positive improduct with the randomly generated modular function, the imset cannot be structural, hence the statement is not implied.
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.