Internamente, PhoX construye árboles de deducción naturales.