Premise: two guys dressed in tuxes with red ties
Hypothesis: The men are dressed formally.
Relationship: entailment