Undistributed Middle (example with objection)