Sp : Spaghetti is pasta

Sw : Spaghetti is made of wheat

W : Wheat is a carbohydrate

C : Carbohydrates are good

P : Pasta is good

T : Sauce has tomatoes

2. (5 points) 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 isn't 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