Pernyataan yang dihasilkan bisa salah

Kalimat yang lain juga dapat dibuat.

Kalimat di atas sesuai dengan domainnya karena x digantikan dengan E yang memang diperbolehkan, dan y digantikan dengan C yang juga diperbolehkan.

Walaupun sesuai dengan domainnya kalimat tersebut ternyata menjadi pernyataan yang salah karena tidak sesuai dengan pengetahuan yang kita miliki.

Walaupun kalimat yang dihasilkan salah, tetapi aturan yang kita gunakan dalam mengganti variabel tetap diperbolehkan.

Berikutnya: x dan y tidak harus berbeda