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