find reslution control setratgy (breadth first method )

1-convert the sentense to predicate logic

2- convert the predicate logic to Cluses normal form (CNF)

3-find the reslution control setratgy (breadth first method )

NOTE # i will attach a solve question to know what i mean in my equstion and how to solve my question

so please solved like the secoand image

solve it like this

C1. Noor likes all kinds of food. C2. Mango and chapati are food. C3. Noor eats almond and is still alive. C4. Anything eaten by anyone and is still alive is food. Brofing Cugseduatudx is Breate, tiren Slaver gration a) Guang Eurteb Leataic d Lind Rith Hatain A if Aiedu fact. (i) FrrCa findill |(2 H4} 14 c21= 140 Cia 4Lbe cinturel (i+1),1)