这种推理方法是否可行

 甲说，我知道a=b、b不等于c;乙说，我知道a不等于b、b=c;丙说，既然甲认为a=b乙认为b=c，那么就可以推知a=c。

注：这是爱因斯坦在推导洛伦兹变换时用过的方法。