All pizzas are food. I have not eaten any food today. Have I eaten any pizzas today?
user
If all pizzas are food, and you have not eaten any food today, we can leverage the transitive property to conclude you have not eaten any pizzas today.
assistant
yes that is correct, but your reply is very formal
user