Refactored code to remove conjecture and added getter for difference
Fixed bug where first conjecture of family would not be deleted if wrong