Suppose The local animal shelter has a policy of spaying or neutering all animals before they are adopted. This policy is to help reduce the number of unwanted animals and promote responsible pet ownership.
Can we infer that "All animals in the shelter are adopted."?