Suppose that the following statements are known to be true:

It is rainy

If it is rainy and there is no homework, Robin eats biryani

If it is either a weekend or a national holiday, Robin has no homework

It is a weekend

a$)$ Write these sentences using propositional logic

b$)$ Then convert the sentences into CNF form

c$)$ Then use resolution to prove $($or disprove$)$ the statement "Robin eats biryani"