Вот задачка: "А" верно и "Б" верно. При этом они друг другу противоречат относительно "В" хоть и являются фактами о "В". Что даёт возможность предположить наличие "С", относящегося к "В" как "А" и "Б" фактически, но мнимые противоречия разрешающего.
Вопрос такой: существуют ли отработанные способы определения "С", вроде последовательности действий, вроде формулы? Или сразу велосипед изобретать самостоятельно, не искать?