seznafyju'a lujvo

x1 is a contradiction/contradictory statement about x2

from sevzi + natfe + jufra