Function is_dialectical_contradiction 

pub fn is_dialectical_contradiction(thesis: &NQuin, antithesis: &NQuin) -> bool

A dialectical contradiction: thesis and antithesis assert the same (subject, predicate) with different objects — the conflict that is either SYNTHESIZED (synthesize_dialectical) or, when no synthesis is wanted, ISOLATED into a paraconsistent sub-context (paraconsistent::route_paraconsistent) so it does not explode the rest of the graph.