Therefore X must be false."
したがってXは偽に違いない」という形式である。