Falsify Viewer

This applet shows the 6 elementary independency statements over 3 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|).

Usage:

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.