他可以符合逻辑地推测,如果蓄电池用完了,喇叭也就不会响了。用英语怎么说？

He can logically infer that if the battery is dead then the horn will not sound.

hepron. 他，它，一个人；n. 雄性动物；

canaux. 能够，可以，有机会；n. 金属罐，一听，金属容器；vt. 将…装罐保存，炒…鱿

logicallyadv. 逻辑上，符合逻辑地，能推理地；

infervt. 推断，猜想，推理，暗示，意指；vi. 作出推论；

thatdet. 那个，那；pron. 那个，那；conj. 多么，如此…以至，用于某些动词、形容词和名词后，引出各种从句；adv. 不那么，那样；

ifconj. 如果，倘若，即使，〈口〉是否，假设；n. 条件，设想；

theart. 指已提到的人（物），指说话人与听者已知的人（物），用于独一无二的事物前，与形容词最高级和序数词连用；

batteryn. [电]电池，蓄电池，[军]炮台，炮位，一组，[法]殴打；

isvt.& vi. 是（be的三单形式；n. 存在；

deadadj. 死去的，完全的，无感觉的，呆板的；adv. 完全地，非常，绝对，极度；n. 死者，（死一样的）寂静，极寒时候；

thenadv. 那时，然后，那么，话说回来；adj. 当时的，那时的；

hornn. 角，触角，号角，喇叭，角质，角状物；vi. 不请自来，闯入；

willn. 愿意，意志（力），[法]遗嘱；vt. 决心要，将（财产等）遗赠某人，用意志力驱使（某事发生）；vi. 愿意，希望，想要；

notadv. 不，[用以表示否定、否认、拒绝、禁止等]不是，几乎不，未必，没有[用于否定后面的词或短语]；

soundn. 声音，声响，音调，声调，声波，嘈杂声；vi. 响，发声，听起来，好像，回响，[音乐]乐器等被奏响；vt. 使出声，使发声，清楚地发出，宣布，发表，颂扬；adj. 健全的，合理的，完好的，无损的，明智的；adv. 彻底地，充分地；