question.md

Prove that Universal Instantiation is sound and that Existential Instantiation produces an inferentially equivalent knowledge base.