Falta parte de escrever no ficheiro e listar KB e sentence2prove