OWL RL does not support owl:allValuesFrom in a subclass expression  which makes the equivalence axiom working only in one direction.
It is worth noting that the OWL 2 RL profile supports a restricted subset of OWL and will not produce all the inferences that reasoners such as HermiT and Pellet will. These reasoners support the full language. For the majority of ontologies these restrictions
are not significant. See  for some details on the SWRLTab’s OWL 2 RL implementation..
Actually, I just copy and pasted most of the ontology-defining email text (minus the swrl rule) to a file and loaded it in Protege. I only had to enter the swrl rule manually. I used Protege's explanation facility to see that "Jimmie is a HappyKid" could be inferred in two ways.
Thanks for pointing out that RL does not support owl:allValuesFrom.