Sound Logical Explanations for Mean Aggregation Graph Neural Networks