Матлогика
Вывести формулу F из набора гипотез S

2 тонны 250 килограммов + 8 центнеров 700 килограммов = ?
2 тонны = 2000 килограмм = 20 центнеров.
250 килограммов = 2,5 центнеров.
8 центнеров = 800 килограммов.
700 килограммов = 7 центнеров.
Решение:
1) 2000 килограмм + 250 килограммов = 2250 килограммов,
2) 2250 килограммов + 800 килограммов = 3050 килограммов,
3) 3050 килограммов - 700 килограммов = 2350 килограммов.
2350 килограммов = 2 тонны , 250 килограммов.
ответ: 2 тонны 250 килограммов + 8 центнеров - 700 килограммов = 2350 килограммов = 2 тонны 350 килограммов

А) Если мы возьмём 12 карандашей, то среди них может оказаться 3 красных, 3 синих, 3 зеленых и 3 жёлтых. А если мы возьмём ещё один, то это будет карандаш одного из этих цветов. Следовательно, хотя бы одного цвета будет 4.
ответ: Наименьшее число карандашей - 13.
б) Если мы возьмём 26 карандашей, то может оказаться 10 красных, 8 синих и 8 зеленых.
Тогда мы берём ещё один карандаш. Этот последний карандаш будет желтый, так как, других не осталось.
ответ: Наименьшее число карандашей - 27
в) Если мы возьмём 27 карандашей, то мы можем взять 10 красных, 5 синих, 8 зеленых и 4 желтых. Тогда берём ещё один и он точно будет синий т. к. других не осталось.
ответ: Наименьшее число карандашей -  28