Uses an ordering on the imsets such that it is easier to proof that a statement does not hold.
This applet shows the 80 elementary independence statements over 5 variables. The applet calculates which (elementary) independence statements follow from a given set of (elementary) independence statements using facial implication. With the mouse button, the independence 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|E) & I(B,E) => I(B,E|A) & I(A,B).
By clicking with the mouse on the independence statement, they become active (white) or inactive (black).
Press the Go-button to start the calculation and the Stop button to interupt.