In order to save space, we will not be exhaustively showing all the cases because many follow the same pattern.
for any irreversible logical rule there are always four cases to consider corresponding to the polarity of the subformulas.