Bir çıkarımda, öncüller kümesi ile sonuç arasına konulup 'Öyleyse' deyiminin kısaltması olarak kullanılan (?) biçimindeki im,