Visualize: Figure 2 & 3.
Description: "Diagram showing two rule-bases with rules, facts, questions, answers and proofs. PROVER answers all
the questions correctly and also generates all the corresponding proofs accurately in the above scenarios."