Primero, la condición de implicación, donde toda oración lógicamente implicada por un informe de observación es confirmada por éste.