لكن حلل العبارتين تحليلا منطقيا، تجدهما مختلفتين اختلافا شديدا من شأنه أن يزيل المشكلة الميتافيزيقية التي نشأت حول «الوجود الضمني».
وأبدأ بتحليل العبارة الثانية: «الأنهار ليست ملحة.» هذه العبارة تنحل إلى مجموعة كبيرة من قضايا أولية، تتخذ هذه الصورة الآتية:
س
1
نهر
و
س
1
ليس ملحا
س
Shafi da ba'a sani ba