a hypothesis consists of a set of relations (not a list of relations)
22(a a a)
accept own hypotheses
the variables used in a problem must be a subset of the variables declared