backward-infer-derivable returns appropriate results. Not my preferred way of doing it though.