Datensatz als E-Mail versenden: Structures of Multi-line Standard Contradictions in First-order Logic