Added the diff logic

Added the naive diff logic. It requires the set operations multiple times and it can be improved reducing the computation complexity. But for now, it should work for the small set and I think it's good to start with at this point.