Premise: However (and this can be proved mathematically), although such systems exist, none of them can be explicitly described.

Hypothesis: There is no explicit way to explain these systems.
Relation: entailment