We start from the simple case of independent supporting sentences.
by applying bayes rule, we get, Here G(A|E) represents the log-probability-gain of A given E, with the meaning of the gain in the log-probability value of A after the evidence E is observed (or known).