Find!
x1=j1 thinks that x2=n1 and x3=n2 (du'u) may both be true about x4=j3, on grounds x5=j4; x1 thinks that x2 and x3 are logically compatible.