13. Use resolution to determine if the following arguments in the FOPL are valid. Use the predicates suggested:

a. All Italian mothers can cook. (M, C)

All cooks are healthy. (H)

Either Connie or Jing Jing is an Italian mother.

Jing Jing is not an Italian mother.

Therefore, Connie is healthy.

b. All New Yorkers are cosmopolitan. (N, C)

All cosmopolitan people are friendly. (F)

Either Tom or Nick is a New Yorker.

Nick is not a New Yorker.

Conclusion: Tom is friendly.

c. Anyone who drinks green tea is strong. (T, S)
Anyone who is strong takes vitamins. (V)
Someone at City College drinks green tea. (C)

Therefore, everyone at City College drinks green tea and is strong.