Question: Both Devin Thomas and Tom Brady play which American sport?
Sentence (from "Devin Thomas"): Devin Thomas (born November 15, 1986) is a former American football wide receiver.
Relevant evidence: Yes