the enjoyer does not overbear enjoyer.
sent1: the shepherd is a giblet if there are hair-shirt and blastocoelic things. sent2: the shepherd overbears sweatband. sent3: if something is excitable and is a giblet then the fact that the enjoyer does not overbear enjoyer is true. sent4: The sweatband overbears shepherd. sent5: something is hair-shirt and it is blastocoelic. sent6: the shepherd is excitable if it does overbear sweatband.
sent6 & sent2 -> int1: the fact that the shepherd is excitable hold.; sent5 & sent1 -> int2: the shepherd is a giblet.; int1 & int2 -> int3: the shepherd is excitable and it is a giblet.; int3 -> int4: there is something such that it is both excitable and a giblet.; int4 & sent3 -> hypothesis;
$hypothesis$ = the enjoyer does not overbear enjoyer. ; $context$ = sent1: the shepherd is a giblet if there are hair-shirt and blastocoelic things. sent2: the shepherd overbears sweatband. sent3: if something is excitable and is a giblet then the fact that the enjoyer does not overbear enjoyer is true. sent4: The sweatband overbears shepherd. sent5: something is hair-shirt and it is blastocoelic. sent6: the shepherd is excitable if it does overbear sweatband. ; $proof$ = 
sent6 & sent2 -> int1: the fact that the shepherd is excitable hold.; sent5 & sent1 -> int2: the shepherd is a giblet.; int1 & int2 -> int3: the shepherd is excitable and it is a giblet.; int3 -> int4: there is something such that it is both excitable and a giblet.; int4 & sent3 -> hypothesis; __PROVED__