“Bütün dişi atlar dişidir”. Bu önerme mantıksal doğru olduğu için aynı zamanda analitik doğrudur. Öte yandan “Bütün kısraklar dişidir” önermesi mantıksal doğru değildir ama analitik doğrudur. Nitekim bu önerme, “ ‘Kısrak” demek ‘dişi at’ demektir” tanımına dayanarak mantıksal doğru olan “Bütün dişi atlar dişidir” önermesine dönüştürülebilir. Doğru cevap A şıkkıdır.