问答题 在自然推理系统P中，构造下面用自然语言给出的推理： 若小张喜欢数学，则小李或小赵也喜欢数学。若小李喜欢数学，则他也喜欢物理。小张确实喜欢数学，可小李不喜欢物理。所以，小赵喜欢数学。

问答题 在图所示的无向图中，含边e1，e2，e3，作为树枝的非同构的生成树共有几颗？画出它们。

问答题 在自然推理系统P中，用直接证明法构造下面推理的证明：