risk-free
conclusions
statements
φ entailed by
the data Γ:
Γ ⊨ φ
conclusions
that are only
more or less
well-supported
by the data
statements φ
not entailed by
but consistent with
the data Γ:
Γ ⊭ φ and Γ, φ ⊭ ⊥
conclusions
absolutely
incompatible
with the data
statements φ
inconsistent
with the data Γ:
Γ, φ ⊨ ⊥