Terms for subject Scientific containing inference

English	Russian
conjectural inference	предположительный вывод (I. Havkin)
counterfactual inference	вывод, противоречащий фактам (I. Havkin)
step-by-step inference	поэтапный вывод (I. Havkin)
tautologically valid inference	тавтологически истинное умозаключение (I. Havkin)
truncated inference	укороченное умозаключение (I. Havkin)