Premis: Mgr. Johannes Maria Trilaksyanta Pujasumarta adalah Uskup Agung di Keuskupan Agung Semarang.
Hipotesis: Keuskupan Agung Semarang tidak memiliki Uskup Agung.
Label: contradiction