Assumptions: finite products, thin
Conclusions: natural numbers object
Proof: The triple (1,id1,id1)(1, \id_1, \id_1)(1,id1,id1) is clearly a NNO.