the bandleader does not overprotect.
sent1: if the bandleader does not letter scut then the bennet does not overprotect and it is not a supervention. sent2: the raincoat does not overprotect if the bennet does not overprotect and it is not a kind of a supervention. sent3: something does not letter globule and/or it is not non-erythroid if it is a kind of a supervention. sent4: if the bennet does not letter globule or it is not non-erythroid or both then the bandleader does not overprotect. sent5: the bennet letters scut and is a supervention. sent6: either the bandleader does not letter globule or it does overprotect or both if it is erythroid.
sent5 -> int1: the bennet is a supervention.; sent3 -> int2: if the bennet is a supervention then it does not letter globule and/or it is erythroid.; int1 & int2 -> int3: the bennet does not letter globule and/or is erythroid.; int3 & sent4 -> hypothesis;
the raincoat does not overprotect.
$hypothesis$ = the bandleader does not overprotect. ; $context$ = sent1: if the bandleader does not letter scut then the bennet does not overprotect and it is not a supervention. sent2: the raincoat does not overprotect if the bennet does not overprotect and it is not a kind of a supervention. sent3: something does not letter globule and/or it is not non-erythroid if it is a kind of a supervention. sent4: if the bennet does not letter globule or it is not non-erythroid or both then the bandleader does not overprotect. sent5: the bennet letters scut and is a supervention. sent6: either the bandleader does not letter globule or it does overprotect or both if it is erythroid. ; $proof$ = 
sent5 -> int1: the bennet is a supervention.; sent3 -> int2: if the bennet is a supervention then it does not letter globule and/or it is erythroid.; int1 & int2 -> int3: the bennet does not letter globule and/or is erythroid.; int3 & sent4 -> hypothesis; __PROVED__