It would be convenient if the facts square with the theory, but they do not.

• 如果事实与理论相符那就好了, 可惜并非如此。