Daveed Diggs won the best actor award.
Daveed Diggs is an actor and film producer. Daveed Diggs played two roles in the musical Hamilton. One of the actors from Hamilton won the best actor award. The actor playing Thomas Jefferson won the best actor award. Daveed Diggs played Thomas Jefferson. Musicals are not films.
Actor(daveedDiggs) ∧ FilmProducer(daveedDiggs) PlayedTwoRoles(daveedDiggs) ∧ PlayedIn(daveedDiggs, hamilton) ∧ Musical(hamilton) ∃x (Actor(x) ∧ PlayedIn(x, hamilton) ∧ WonBestActorAward(x)) ∀x (Actor(x) ∧ Played(x, thomasJefferson) → WonBestActorAward(x)) Played(daveedDiggs, thomasJefferson) ∀x (Musical(x) → ¬Film(x))