This applet shows the 24 elementary independency statements over 4 variables. The applet calculates which (elementary) independency statements follow from a given set of (elementary) independency statements using facial implication. With the mouse button, the independency statements are selected. After the calculation, statements that are facially implied are green, the other red. Only statements that are inactive (i.e. not white) are checked. This way, you can check for example that I(A,B|D) & I(B,D) => I(A,D|B) & I(A,D).
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.