Las premisas y la conclusión del argumento se representan en la sintaxis entendida por el Prover9.