Vsako novo dejstvo, ki je smiselno, vključi v podatkovno bazo in ga poveže z drugimi podatki. Med najbolj osupljivimi lastnostmi Cyca pa je visoka raven sklepanja o stvareh, o katerih nima neposrednih podatkov. 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.