Hmm, in your example, temperature is fully measurable but there might be a slight challenge in measuring if "If we are at home". Since for this you need to define more variants with measurements from motion sensors, pressure or weight sensors on beds or sofas, if a device has got connected to wifi, etc.

By the time your first round of beta testing is over, you may have quite a handful of such axioms and variants, which have been humanly validated!

Have you done any such experiment in this space?