Faithful and Sound Reasoning on Knowledge Graphs