If all apples are fruits and John is eating an apple, what can we conclude about John's food?