шаг к успешной дедукции: отделение фактов, которые имеют решающее значение для вывода, от несущественных, с тем чтобы на решение повлияли лишь действительно важные элементы.
