redefined transitiveness as conditional possibilities of various conditions
run an experiment about basic properties of transitiveness