height > 0
weight > 0
height/weight > 0.5
(weight*0.45359)/(height*0.0254)^2 < 23
BMI := (weight*0.45359)/(height*0.0254)^2
BMI < 23
mean(BMI) > 22 & mean(BMI) < 22.5

ratio: height/weight > 0.5
wtest: weight > 0