summary_classification added.
clausal_examples finished.
New tables added.
Logics adapted.
Corrected the consequence operators.
Correct hypothesis.
Top-down, bottom-up diagram added.
Hypothesis search updated.