Simple but Hard Mixed Horn Formulas