the grimoire does ensconce shag.
sent1: the grimoire does ensconce shag if the shag is unserviceable. sent2: the shag is an outfitter if the fact that the citrange is entomological is not incorrect. sent3: the shag is an outfitter. sent4: the citrange is entomological. sent5: something is unserviceable if that it either is a cordite or is not a kind of an outfitter or both is wrong. sent6: if the fact that the shag is a cordite or it is an outfitter or both is incorrect it is unserviceable. sent7: the fact that the shag is a cordite or it is not an outfitter or both is not right if the citrange is entomological. sent8: something is a kind of entomological thing that is unserviceable if it does not ensconce shag. sent9: that something is unserviceable is correct if that it is a cordite and/or it is an outfitter does not hold. sent10: the shag is unserviceable if the fact that it does ensconce shag and/or it is not an outfitter is wrong. sent11: the grimoire does not ensconce shag if the citrange is non-entomological thing that does ensconce shag.
sent7 & sent4 -> int1: the fact that the shag is a kind of a cordite or it is not an outfitter or both does not hold.; sent5 -> int2: if that either the shag is a cordite or it is not a kind of an outfitter or both does not hold it is unserviceable.; int1 & int2 -> int3: the shag is unserviceable.; int3 & sent1 -> hypothesis;
the grimoire does not ensconce shag.
$hypothesis$ = the grimoire does ensconce shag. ; $context$ = sent1: the grimoire does ensconce shag if the shag is unserviceable. sent2: the shag is an outfitter if the fact that the citrange is entomological is not incorrect. sent3: the shag is an outfitter. sent4: the citrange is entomological. sent5: something is unserviceable if that it either is a cordite or is not a kind of an outfitter or both is wrong. sent6: if the fact that the shag is a cordite or it is an outfitter or both is incorrect it is unserviceable. sent7: the fact that the shag is a cordite or it is not an outfitter or both is not right if the citrange is entomological. sent8: something is a kind of entomological thing that is unserviceable if it does not ensconce shag. sent9: that something is unserviceable is correct if that it is a cordite and/or it is an outfitter does not hold. sent10: the shag is unserviceable if the fact that it does ensconce shag and/or it is not an outfitter is wrong. sent11: the grimoire does not ensconce shag if the citrange is non-entomological thing that does ensconce shag. ; $proof$ = 
sent7 & sent4 -> int1: the fact that the shag is a kind of a cordite or it is not an outfitter or both does not hold.; sent5 -> int2: if that either the shag is a cordite or it is not a kind of an outfitter or both does not hold it is unserviceable.; int1 & int2 -> int3: the shag is unserviceable.; int3 & sent1 -> hypothesis; __PROVED__