Function prop::and::paradox_e

pub fn paradox_e<A: Prop>((nna, na): And<Not<Not<A>>, Not<A>>) -> False

(¬¬a ∧ ¬a) => false.