@prefix log: . @prefix owl: . @prefix rdfs: . @prefix rdf: . {?A owl:disjointWith ?B. ?X a ?A. ?Y a ?B } => {?X owl:differentFrom ?Y}. {?A owl:disjointWith ?B. ?X a ?A. ?X a ?B} => false.