Function prop::quality::nq_right

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

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