Therefore X must be false."
따라서 X는 가짜가 틀림없다'라는 형식이다.