I think it's best to honk in terms of what is guaranteed. If we know that no foodie prefers bland food, then we can guarantee that if Jim is a foodie then they don't prefer bland food, or in other words: if F then Not PB.
This is the same result as no x are y, but I think this process can be more flexible.
