Weakly normal not implies NE

Statement
A weakly normal subgroup of a group need not be a NE-subgroup.

Related facts

 * NE implies weakly normal

Facts used

 * 1) uses::Pronormal implies weakly normal
 * 2) uses::Pronormal not implies NE

Proof
The proof follows directly from facts (1) and (2). More specifically, any example of fact (2) also gives an example of a weakly normal subgroup that is not NE.