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

Конкретно в этой задаче С" искать не пришлось, всё-таки кое-что в "А" было неверным))
Вот стоит только задать вопрос, как быстро ответ сам находится.  :)