Assumptions: finite products, thin
Conclusions: natural numbers object
Reason: The triple (1,id1,id1)(1, \mathrm{id}_1, \mathrm{id}_1)(1,id1,id1) is clearly a NNO.