Среди трёх футбольных мячей красный мяч тяжелее коричневого, а коричневый тяжелее зелёного. Какой мяч тяжелее: зелёный или красный?