Is the premise "A woman is shoeing a horse." true if "The woman is with a horse."?
yes