Babylonian Talmud, Tractate Eruvin

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