Sp: Spaghetti is pasta, Sw: Spaghetti is made of wheat, P: Pasta is good, C: Carbohydrates are good

Consider an initially empty knowledge base to which we add the first three sentences above. Use the tuple(C, P, Sw, Sp) to represent potential models for this KB (each element in the tuple corresponds the the truth value of that symbol).

a) List the models of the knowledge base.

b) Consider the following sentence:carbohydrates are not good if spaghetti isnt pasta. Given your answer on the previous part, can you conclude that this sentence is entailed by the knowledge base? Why or why not, be explicit and use only your solution to the previous part to justify your response.