Question: Both Devin Thomas and Tom Brady play which American sport?
Sentence (from "Tom Brady"): Thomas Edward Patrick Brady Jr. (born August 3, 1977) is an American football quarterback for the New England Patriots of the National Football League (NFL).
Relevant evidence: Yes