Orang Asing memperhatikan kesalahan tentang negasi dan menawarkan solusi. Di sini dia  fokus pada predikat:
Ketika kita mengatakan "tidak sedang" (sekarang), sepertinya, kita tidak bermaksud sesuatu yang berlawanan dengan menjadi, tetapi hanya berbeda .  Bagaimana;  Sebagai contoh, ketika kita menyebut sesuatu "tidak besar," kita tidak mengindikasikan dengan ekspresi kecil lebih dari sama.  Tentu saja  Jadi kita tidak akan setuju ketika seseorang mengatakan negasi menandakan sebaliknya; kita hanya akan menyetujui hal ini,  "tidak" ketika diawali dengan nama-nama yang mengikutinya mengungkapkan sesuatu yang berbeda [dari nama-nama, atau lebih tepatnya dari hal - hal yang diucapkan nama setelah negasi yang ditunjuk. (Sophist 257b - c); Rupanya, ketika seseorang berkata, "Simmias tidak besar," satu menunjukkan dengan "tidak" hanya sesuatu yang berbeda dari besar. Simmias bisa sama atau kecil dibandingkan dengan orang lain.
Sekarang ada pertanyaan interpretatif yang mendesak. Apakah pernyataan "Simmias tidak besar" menyatakan  kebesaran berbeda dari setiap atribut yang dimiliki Simmias (kejantanan, keberanian, rambut merah, mata biru, dan sebagainya);  Diskusi "tidak besar" itu sendiri menunjukkan sebaliknya. "Berbeda dari besar," walaupun tidak berarti kebalikan dari kebesaran (kebalikan dari kebalikannya), berarti beberapa ukuran selain kebesaran (kekecilan menjadi satu kemungkinan di antara yang lain). Negasi menunjuk sesuatu dalam jenis yang lebih luas, dan predikat dinegasikan (katakanlah "besar") menunjukkan jenis yang lebih luas.
Dalam mengkarakterisasi sifat perbedaan, Orang Asing membandingkannya dengan pengetahuan (Sophist 257c - d). Pengetahuan adalah jenis kategororial, dan banyak spesies pengetahuan berbeda secara struktural dari satu sama lain. Meski begitu, perbandingannya bersifat instruktif karena beberapa cabang pengetahuan, seperti matematika terapan, dibedakan satu sama lain, bukan oleh perbedaan intrinsik dalam struktur keahlian, tetapi hanya oleh perbedaan dalam objek yang digunakan keahlian yang sama (misalnya , perhitungan dalam survei dan navigasi). Seperti varietas matematika terapan, yang isinya berasal dari domain tempat pengetahuan itu berlaku, sebagian perbedaan memperoleh konten mereka dari item yang namanya dinegasikan.
Pengunjung memberikan contoh negasi yang kedua, dan contoh tersebut membantu untuk mengklarifikasi usulannya. Bagian dari perbedaan yang disebut "yang tidak-cantik" diatur dalam oposisi terhadap yang indah dan berbeda dari sifat yang indah ( Sophist 257d). Dia berkata:
Tidakkah ternyata dengan cara ini  yang tidak-cantik, yang telah dihapuskan dari ( aphoristhen ) semacam makhluk di antara makhluk hidup,  pada gilirannya diatur dalam pertentangan ( antitethen ) dengan beberapa hal yang ada;  (Sophist 257e)
Orang Asing menyebutkan dua jenis selain yang tidak cantik, karena ia menandai yang tidak cantik dari beberapa jenis di antara makhluk, dan kemudian menetapkannya sebagai lawan dari sifat yang indah. Bukan-cantik bukan sekadar apa pun selain indah, tetapi sesuatu selain indah dalam jenis yang mencakup keduanya (sebut saja "estetika"). Pada tampilan ini, sebagian perbedaan mendapatkan konten kategororialnya dalam dua cara dari item yang namanya dinegasikan. Pertama, bagian itu jatuh dalam jenis yang lebih luas (seperti ukuran, suhu, estetika) ditentukan oleh atribut positif F-ness, dan jenis yang lebih luas dibagi menjadi subkinds yang mengecualikan satu sama lain dan bersama-sama menghabiskan genus; dan kedua, bagian tersebut memiliki atribut yang berbeda dari F-ness dalam genus itu. Semua individu yang berada di bawah genus menempati satu dan hanya satu subkind. Subkinds dapat membentuk rentang ketidakcocokan  suatu kontinum yang dipesan di bawah jenis penutup, seperti derajat dingin dan panas di bawah suhu atau derajat kecil dan besarnya di bawah ukuran  tetapi mereka tidak perlu merupakan seri yang dipesan. Sebagai gantinya mereka dapat membentuk set ketidakcocokan , seperti lingkaran, persegi, segitiga, dan spesies lainnya dalam bentuk; atau manusia, lembu, kuda, dan spesies lain di bawah binatang. Kesalahan sebelumnya tentang negasi adalah asumsi  "yang tidak-F" menentukan kebalikan dari Ke-F. Menurut proposal baru "not-F" menentukan komplemen F-ness di bawah jenis yang lebih luas yaitu, semua subkinds terpisah di bawah jenis yang lebih luas selain F-ness. Setiap individu yang dicirikan sebagai "bukan-F" berada di bawah pelengkap F-ness dan memiliki beberapa fitur selain F-ness dalam jenis yang lebih luas. Jadi, misalnya, ketika Anda mengatakan "Simmias tidak besar," Anda menunjukkan  Simmias memiliki beberapa ukuran yang pasti selain ukuran, baik kecil yang berlawanan kutub atau beberapa ukuran menengah menyebut perlakuan negasi ini sebagai interpretasi "kisaran ketidakcocokan"; Â
 Membuat pernyataan (benar atau salah) memerlukan tiga langkah: pertama, pembicara harus memilih seseorang atau orang untuk mengatakan sesuatu tentang, karena pernyataan harus tentang sesuatu untuk menjadi pernyataan sama sekali; kedua, ia harus memilih individu, jenis, atau fitur untuk berhubungan dengan entitas asli; dan ketiga, ia menegaskan hubungan antara dua item  identitas, non-identitas, atribusi, atau non-atribusi. Sebuah pernyataan terdiri dari minimal dua bagian, dengan satu bagian (subjek tata bahasa) mengacu pada entitas pernyataan tentang, dan yang lain (predikat) menyatakan sesuatu tentang entitas itu. Hanya jika predikat menyatakan sesuatu (yang ada atau tidak demikian) tentang subjek, maka ada kompleks  pernyataan  yang bisa benar atau salah ( Sophist 262e - 263d). Orang Asing membedakan antara nama dan kata kerja ( Sophist 261d-262a), mengatakan  kata kerja adalah tanda yang ditetapkan atas tindakan, dan nama tanda yang ditetapkan untuk hal-hal yang melakukan tindakan. Tidak ada pernyataan yang hanya terdiri dari untaian nama atau untaian kata kerja tetapi harus minimal sesuai dengan nama bersama dengan kata kerja (Sophist 262a-c).
Gagasan utama tentang pernyataan sederhana: pernyataan memiliki struktur dan bagian-bagiannya melakukan fungsi yang berbeda. Nama (subjek gramatikal) mengacu pada sesuatu, dan jika gagal memilih apa pun pernyataan itu tidak muncul (Sophist 262e). Kata kerja (predikat) menganggap benda itu suatu tindakan (atau properti). Jika seseorang menyatakan suatu subjek predikat yang menganggapnya sebagai sesuatu (kasus) tentangnya (suatu tindakan yang sebenarnya dilakukan atau atribut yang dimilikinya), pernyataan itu benar ; sedangkan jika ia menyatakannya sebagai predikat yang menyatakan sesuatu yang bukan (kasus) tentangnya (sesuatu yang berbeda dari apa yang terjadi tentangnya), maka pernyataan itu salah (Sophist 263b). Misalnya, ketika Orang Asing itu mengatakan tentang Theaetetus, yang saat ini sedang duduk, "Theaetetus sedang duduk," pernyataannya itu benar karena itu menegaskan sesuatu yang merupakan kasus tentang Theaetetus; tetapi ketika dia mengatakan tentang Theaetetus (masih duduk), "Theaetetus sedang terbang," pernyataannya salah, karena "flying" menentukan sesuatu yang berbeda dari kasus Theaetetus (yaitu, duduk).
 Pernyataan yang dianggap oleh Orang Asing, "Manusia belajar," "Theaetetus sedang duduk," dan "Theaetetus sedang terbang," adalah semua prediksi positif, dua yang pertama benar, yang ketiga salah. Predikasi negatif untuk menganalisis pernyataan palsu, "Theaetetus sedang terbang." Karena pernyataan itu salah, pernyataan "Theaetetus not flying" adalah benar. Predikasi negatif telah menerima banyak perhatian dalam literatur ilmiah tentang Sofis (untuk penjelasan bermanfaat dari berbagai interpretasi, dan kelebihan dan kekurangannya. Beberapa sarjana berpikir  Platon  membutuhkan gagasan negasi kedua selain perbedaan (dipahami sebagai perbedaan atau non-identitas), seperti ketidakcocokan, untuk mengakomodasi predikasi negatif. Pada pandangan ini, terbang tidak sesuai dengan salah satu properti Theaetetus (yaitu duduk). Interpretasi ketidakcocokan mengharuskan Platon  untuk mengubah makna heteron dari "berbeda" menjadi "tidak kompatibel," dan tidak ada bukti dalam teks yang dia lakukan. Interpretasi Oxford memiliki keuntungan menjaga satu makna untuk heteron tetapi menyerukan kuantifikasi universal atas properti: untuk menganalisis pernyataan "Theaetetus tidak terbang," kita harus menunjukkan  terbang berbeda dari semua yang Theaetetus adalah - seorang lelaki, berhidung pesek, duduk, dan sebagainya. Sofis tidak memberikan bukti pendekatan semacam itu
Jika Platon  mengartikan perbedaan sebagai jenis struktural yang beroperasi dengan cara yang telah kita bahas (interpretasi rentang ketidakcocokan), ia dapat menangani predikasi negatif tanpa memperkenalkan makna heteron yang kedua. Kita tidak perlu mempertimbangkan semua properti Theaetetus untuk menjelaskan kepalsuan dari "Theaetetus sedang terbang." Analisis predikasi negatif adalah rumit: item yang dinegasikan dalam "Simmias tidak besar" menunjukkan pembagian ukuran genus, dan negasi menunjuk sesuatu yang berbeda (tidak identik, berbeda) dari besarnya dalam genus itu. Dalam kasus penerbangan imajiner Theaetetus, kita harus menemukan  aktivitas berbeda dari terbang dalam set ketidakcocokan yang relevan, satu set yang tampaknya terdiri dari pasangan bentuk konsonan kita: perubahan / istirahat. Karena Theaetetus saat ini duduk (spesies istirahat), sisanya saat ini tidak termasuk terbang (spesies perubahan). Seseorang dapat menjelaskan  dia tidak terbang dengan meminta duduknya.
