Def-DTS: Deductive Reasoning for Open-domain Dialogue Topic Segmentation