若甲说谎:则乙没有说谎,丙的话就不成立,甲丙都说谎了
若乙说谎,则丙没有说谎,甲乙都说谎了,这样前后矛盾了
若丙说谎,说明甲乙没有说谎,而甲说乙说谎也不成立,甲丙都说谎了
以上假设证明,其实是甲和丙都说谎了