她的情人爱她时，她漂亮。她漂亮时，她的情人爱她。这是一个简单的命题，一个看上去同义反复的命题，不过难以理解到位。