please both of them as soon as possible 1. KB includes these rules:

(B D) G (C E) D C F E F B The query is G. Use Resolution Algorithm to infer this query from KB. You need to show the main two steps:

a.converting to CNF form; b.applying the resolution inference rule.

2. KB includes these rules:

(F D) Y (M G) A A Y H G X Y M F C H A D C M The query is Y. Use Forward Chaining with Table to infer this query from KB.