Let S be a non-empty set with a binary operation that satisfies the following:

1) the operation is associative

2) there exists a right sided identity

3) there exists a right sided inverse

Is S a group?

It seems like this should be simple but I can neither produce a counter nor adequately show it is true (the couple of 'proofs' I made seemed a bit hand-wavy)