Hint 2 for Day 1 negation exercises

If two of your hypotheses are hp : Q and hnp : ¬ Q, then the term

hnp (hp)

has the type false.

Need more hints?