虽然没有直接的证据，但这种可能性确实很高。

Это весьма правдоподобно, хотя прямых свидетельств этому нет.

如果我要证明我理论的正确性，就要保证我没有情感的波动。

Если я хочу доказать обоснованность своей теории, я должен убедиться, что у меня нет эмоциональных колебаний.

目前，关于这些石头的天然特性的理论没有一条被确证。

К настоящему моменту ни одна из множества теорий касательно природы данных камней не нашла подтверждения.

目前，关于这些石头天然特性的理论，还没有一条被确证过。

К настоящему моменту ни одна из множества теорий касательно природы данных камней не нашла подтверждения.

描绘或测定由给定的或确定的输入数据产生欲求的输出或智能信息所要求的特定步骤。通常人们都采用这种逻辑分析的方法来验证许多计算机过程、程序或运行的正确性。

The delineation or determination of the specific steps required to produce the desired output or intelligence information from the given or ascertained input data. The logic studies are completed for many computer processes, programs, or runs.