['entailment']
However (and this can be proved mathematically), although such systems exist, none of them can be explicitly described.
אולם (וזה ניתן להוכחה מתמטית), למרות שמערכות כאלה קיימות, אף אחת מהן לא ניתנת לתיאור מפורש. 
There is no explicit way to explain these systems.
אין דרך מפורשת להסביר את המערכות האלה.