It is not the case that If entailment inference requires knowing that 'bachelor' entails 'unmarried', the inferential machinery must already encode the decomposition, making primitives epistemically prior to entailments.
?Set your confidence on the premises below to see your aggregate.