Use forward chaining to solve the following problem

$A$

$B$

$C$

$A^{{?}^{?}}BD$

$B^{{?}^{?}}DF$

$FG$

$A^{{?}^{?}}EH$

$A^{{?}^{?}}CE$

Is $H$ true? Draw a tree to illustrate the search for a proof. $($Show the steps clearly$)$ Use backward chaining on the following $KB$ to prove $Q$

$PQ$

$EB$

$RQ$

$M^{{?}^{?}}NQ$

$A^{{?}^{?}}BP$

$AM$

$CM$

$DN$

$D$

$A$

Draw a tree to illustrate the search for a proof. Mark the nodes that are satisfied in this KB$.($Show the steps clearly$)$