Added inference reasons to sub-proof conclusions