Based on this Help with Censored Regression I think that this example is wrong. It uses TruncatedNormal which it seems is inappropriate for truncated data 
.
Looks like using Bounds is appropriate in the context of truncated data… Seeking advice here Truncated observed data?