add inequalities to three cycle example