3. Given Knowledge Base Prove Statement Inference Rules Propositional Logic Artificial Intelligence

[@InnovateInShadow01]

Sr i will like to know if this approach is wrong or what...
1. take F (apply OR-introduction) introducing E
E or F
2. KB3 and step 1 (apply unit of resolution)
D or F
3. step2 and KB2 (apply modus pollens)
A
proven