时间空间推论