Tako lahko program samostojno ugotovi, ali sta živali sorodni, ne da bi mu vnesli eksplicitne podatke o razmerju med vsemi živalskimi vrstami, ki jih poznamo. Namesto njih program vključuje trditve, ki opisujejo celotno taksonomijo rastlin in živali, zato na podlagi logičnega sklepanja lahko ponudi pravilen odgovor.
V programu je zdaj tri milijone trditev, kar je res ogromno, a ni bistveno.