Question $3(U-\frac{15}{G}-12$ points$)$: Given the following knowledge base

$KB=\{\begin{array}{cc}\text{d}\text{L}\text{o}\text{n}\text{g}\text{r}\text{i}\text{g}\text{h}\text{t}\text{a}\text{r}\text{r}\text{o}\text{w}& (sLongrightarrow(tLongrightarrowr))\\ \text{p}\text{L}\text{o}\text{n}\text{g}\text{r}\text{i}\text{g}\text{h}\text{t}\text{a}\text{r}\text{r}\text{o}\text{w}\text{q}\\ not{p}^{{?}^{?}}\text{r}\text{L}\text{o}\text{n}\text{g}\text{r}\text{i}\text{g}\text{h}\text{t}\text{a}\text{r}\text{r}\text{o}\text{w}\text{s}\\ \text{t}\text{L}\text{o}\text{n}\text{g}\text{r}\text{i}\text{g}\text{h}\text{t}\text{a}\text{r}\text{r}\text{o}\text{w}& (not{q}^{{?}^{?}}r)\\ \text{n}\text{o}\text{t}\text{q}\\ t\end{array}$

Please. ise general resolution $(GR,$ not Modus Ponens$)$ to prove or disprove the following statements:

$KB|--{?}_T^{GR}||$

$KB|--{?}^{GR}d||$

${?}_3{K}^{\text{'}}B|--{?}^{G{R}_S}||$

where $KB|--{?}^{GR}x||$ means from $KB$ can be proved $x$ by general resolution.