Added ApplyHypothesis function, AddTrainingDemonstration function, and Anti-edge checker to invalidate hypotheses.

Still need to ensure that AG in ApplyHypotheses maintains the proper reduced set of edges.