Inteligencia Artificial - Logica Proposiciona

Necesito un parrafo de tres lineas de cualquier libro y de cualquire tema traducido en logica de predicados.

Es Urgente , necesito probar un software que con mucho gusto si funciona lo eviare gratis.-.

gracias