Lower Bounds for Width-Restricted Clause Learning on Formulas of Small Width