updates to premise collection and attempt to get inferred truths