Implicating soiling_diaper → pooping
Link to implication

Reason:

Soiling a diaper is the active act of pooping in to a diaper, so pooping should always be implied