hätt ich fast vergessen

Somit wäre dann eigentlich deine Bedingung
A = Anzahl Sätze + 1
erfüllt, da die Daten "sauber" sind.

Es sei denn, es gibt "Kinder", die keinen "Vater" haben .
Oder "Väter" die keine "Kinder" haben.