Function prop::quality::naq_right

pub fn naq_right<A: Prop, B: Prop, C: Prop>(
    q_ab: Aq<A, B>,
    sesh_bc: Not<Aq<B, C>>
) -> Not<Aq<A, C>>

(a ~¬~ b) ⋀ ¬(b ~¬~ c) => ¬(a ~¬~ c).