Тип вывода по следующей цепочки рассуждений: «Если это крокодил, то у него должен быть хвост и сам он должен быть зеленый»: обратная цепочка;, прямая цепочка;, силлогизм;