Negation introduction

An example of its use would be an attempt to prove two contradictory statements from a single fact. For example, if a person were to state "Whenever I hear the phone ringing I am happy" and then state "Whenever I hear the phone ringing I am annoyed", one can infer that the person never hears the phone ringing (assuming that nobody can be happy and annoyed simultaneously).