Rewritten part of the inference subsection, also added results for inference testing