$1.(50$ points$)$

Consider the following sentences:

$*$ Everybody who is accused, is not innocent.

$*$ Some suspected are innocent.

$($a$)$ Give the representation of these statements in FOL or FOPC. $(15$ points$)$

$($b$)$ Then, transform these sentences into Conjunctive Normal Form $($CNF$).(15$ points$)$

$($c$)$ Using the resolution principle show that these sentences imply "Some suspected are not accused." $(20$ points$).$

Provide the Derivation tree.