Translate the following sentences into FOL:	

<ul>
<li>Jack owns a dog.
<p><li>Every dog owner is an animal lover.
<p><li>No animal lover kills an animal.
<p><li>Either Jack or Curiosity killed the cat, who is named Tuna.
</ul>

Prove that Curiosity killed Tuna.