If entailment inference requires knowing that 'bachelor' entails 'unmarried', the inferential machin...