 First, in the case of unlike middle terms with at least one universal extreme, change the quantity and quality of that extreme and equate it to  the other extreme. For example the premises All \(x\) is not-\(y\) and Some \(z\) is \(y\) gives the  pair of equations 