adding the conclusion visitor which stores the previously created
inferences + gluing pieces together.