I like to make this type of rule simpler by breaking the logic apart.
E.g., you want when someone initially comes home to set tstat.
I do almost the exact same as @JB10 noted above. I have a Virtual Presense Sensor named "Someone Home" that is set to present when someone comes home. It is managed by a [RELEASE] Combined Presence rule that ORs our actual Presence Sensors:
This would allow me to write your rule in a clear and simple fashion:
Another advantage is that while "Someone Home" is used in several different rules, but the logic that defines who counts as someone is in one place.
Further, I notice you are using HD+ for presense. That's the other reason to use Combined Presence -- it lets you merge multiple presence inputs. "John" is actually another Virtual Presense Sensor and it is merged from 3 actual presence devices (one being HD+).