Constraint generalizer function done
Define response and attribute separately
Find_S run successfully
print_hypothesis function spit out hypothesis in words