Test of triple implication with disequalities