Antônio, Bruno, Carlos, David e Eva foram considerados suspeitos de um crime. Após as investigações, concluiu-se que: Antônio é culpado se e somente se Bruno é inocente; ou Bruno é culpado ou Carlos é culpado; se Carlos é culpado então David é inocente; David é inocente e Eva é inocente; e duas pessoas cometeram o crime. Os culpados do crime são: