proving or knowing a fact by logical inference, one of the three kinds of corroboration of facts.