Babylonian Talmud, Tractate Yevamot

איתמר החולץ למעוברת והפילה רבי יוחנן אמר אינה צריכה חליצה מן האחין ר"ל אמר צריכה חליצה מן האחין ר' יוחנן אמר א"צ חליצה מן האחין חליצת מעוברת שמה חליצה וביאת מעוברת שמה ביאה ור"ל אמר צריכה חליצה מן האחין חליצת מעוברת לא שמה חליצה וביאת מעוברת לא שמה ביאהבמאי קמפלגי איבעית אימא קרא ואיבעית אימא סברא איבעית אימא סברא רבי יוחנן סבר אם יבא אליהו ויאמר דהא דאיעברא מפולי מפלה מי לאו בת חליצה ויבום היא השתא נמי תגלי מילתא למפרע ור"ל אמר תגלי מילתא למפרע לא אמרינן