premise: A man is smiling with one hand on his forehead at a crowded bar. hypothesis: A man is at the bar.
entailment: For a man to be smiling at a crowded bar, the man must be at a bar. This is a concise restatement.