张立英 机机先生

在日常交流中，我们经常省略掉一些我们认为别人也会知道的信息，推理時也不例外！

有时我们省略前提：

花园里没有脚印，所以小偷不是从窗户进来的。