contradiction
４人がレストランで食事をします。