Proof System HY-566 Proof layer Next layer of SW is logic and proof layers. allow the user to state any logical principles, computer can to infer new knowledge by applying…