@prefix owl: <http://www.w3.org/2002/07/owl#>.

{ ?X owl:differentFrom ?X } => { ?X owl:differentFrom ?X }.