Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects