YEDI'AH THAT ENABLES BITUL (Yerushalmi Orlah Perek 2 Halachah 1 Daf 11a)
פשיטא שידיעתו מתרתו ידיעת חבירו מהו שתתירו.
Question: Obviously, his Yedi'ah (knowledge that one Isur fell in before the second fell in) permits (it is not as if both Isurim fell at once). Does his friend's Yedi'ah permit?
היאך עבידא הוא לא ידע בה חבירו ידע בה.
What is the case? He did not know, and his friend knew.
ידיעת ספק מהו שתתיר כידיעת ודאי.
Question: Does Safek Yedi'ah (perhaps one Isur fell in) permit?
היאך עבידא
Question: What is the case?
היו לפניו שתי קופות אחת יש בה מאתים ואחת אין בה מאתים נפלה סאה (תרומה) [צ''ל ערלה - ר''ש סיריליו, הגר''א] לתוך אחת מהן ואין ידוע לאיזה מהן נפלה ואחר כך נפלה בשניי' מדדה ומצא בה מאתים ושתים
Answer #1: There were two boxes in front of him. One has 200 [Sa'im], and one does not have 200. A Se'ah of Orlah fell into one of them, and it is not known into which it fell. Afterwards a second [Se'ah of Orlah] fell into one of them, and he measured it and found in it 202. (Now we know that also the first fell into it.)
אין [תימר] ידיעת ספק כידיעת ודאי עולה אין תימר אין ידיעת ספק כידיעת ודאי אינה עולה.
If you will say that Safek Yedi'ah is like Vadai Yedi'ah, [the first became Batel, and now also the second] is Batel (in 201). If you will say that Safek Yedi'ah is not like Vadai Yedi'ah, (it is as if two Sa'im fell into 200), and they are not Batel.
[דף יא עמוד ב] היתה קופה אחת ספק יש בה מאתים ספק אין בה [דף כב עמוד א (עוז והדר)] נפלה סאה (תרומה) [צ''ל ערלה - ר''ש סיריליו, הגר''א] (לתוכה ואין ידוע אם נפלה) [צ''ל ואין ידוע אם נפלה לתוכה - פני משה] אם לא נפלה ואחר כך נפלה השנייה [צ''ל ומדדה ומצא בה מאתים ושתים - הגר''א]
Answer #2: There was one box. It is a Safek whether it has 200 [Sa'im], or it does not. A Se'ah of Orlah fell, and it is not known whether it fell into it or did not fall [into it]. Afterwards a second [Se'ah of Orlah] fell into it, and he measured it and found in it 202. (Now we know that also the first fell into it.)
אין תימר ידיעת ספק כידיעת ודאי עולה אין תימר אין ידיעת ספק כידיעת ודאי אינה עולה:
If you will say that Safek Yedi'ah is like Vadai Yedi'ah, it is Batel (like above). If you will say that Safek Yedi'ah is not like Vadai Yedi'ah, it is not Batel.