the freeholder is a sealskin if that the decidua is an average is correct.
sent1: the mopper is an average. sent2: something is a sealskin and it red-eyes. sent3: there is something such that it whirls. sent4: the transamination is a Scyliorhinidae that is a hagberry. sent5: something is a perseverance. sent6: the freeholder is a kind of an average if the decidua is a kind of a sealskin. sent7: the fact that the decidua red-eyes is not wrong. sent8: the freeholder is a saddlebill. sent9: there exists something such that it is a sealskin. sent10: there is something such that it does bethink Juncus. sent11: the freeholder is a kind of a sealskin if there is something such that it is a kind of an average that red-eyes.
void -> assump1: Let's assume that the decidua averages.; assump1 & sent7 -> int1: the decidua is an average and it does red-eye.; int1 -> int2: there exists something such that it is an average and it does red-eye.; int2 & sent11 -> int3: the freeholder is a sealskin.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the freeholder is a sealskin if that the decidua is an average is correct. ; $context$ = sent1: the mopper is an average. sent2: something is a sealskin and it red-eyes. sent3: there is something such that it whirls. sent4: the transamination is a Scyliorhinidae that is a hagberry. sent5: something is a perseverance. sent6: the freeholder is a kind of an average if the decidua is a kind of a sealskin. sent7: the fact that the decidua red-eyes is not wrong. sent8: the freeholder is a saddlebill. sent9: there exists something such that it is a sealskin. sent10: there is something such that it does bethink Juncus. sent11: the freeholder is a kind of a sealskin if there is something such that it is a kind of an average that red-eyes. ; $proof$ = 
void -> assump1: Let's assume that the decidua averages.; assump1 & sent7 -> int1: the decidua is an average and it does red-eye.; int1 -> int2: there exists something such that it is an average and it does red-eye.; int2 & sent11 -> int3: the freeholder is a sealskin.; [assump1] & int3 -> hypothesis; __PROVED__