using only inference rule for sets