Subset Proof and Counterexample with Sets