求助，一道很奇怪的离散数学题？

Question

在自然系统N中，构造下面用自然语言藐视的推理。
高铁比汽车快，汽车比蜗牛快。证明：高铁比蜗牛快。

Answer 1

其实很简单的

首先你要知道什么是自然系统，然后知道自然系统求证需要运用的推理规则

如下图：

大致过程如下

不懂就问，望采纳，谢谢

追问

辛苦了，谢谢你^ ^

追答

不客气

Answer 2

根据离散包含关系可推：
设：
高铁=A；
汽车=B；
蜗牛=C；
A的速度比B大，B在A的速度里，A包含B；
B的速度比C大，C在B的速度里，B包含C；
可知 A包含C本回答被提问者和网友采纳

Answer 3

3大于2，2大于1，3自然比1大。

Answer 4

噢――狗比猫快，猫比老鼠快，狗自然比老鼠快了