2) Consider the following: "Some kids eat any food. No kid cats food that is blue. All kids like food manufactured by Mars". Prove using predicate logic and resolution that: "No food manufactured by Mars is blue."

Q1) Consider the following knowledge: "If the maid stole the jewelry, then the butler was not guilty. Either the maid stole the jewelry or she milked the caws. If the maid milked the cows, then the butler got his cream". Prove using propositional logic and resolution that: "if the butler was guilty, then he got his cream".