if that the winner is sublittoral is correct the koto is a consulship.
sent1: the fact that the winner is a kind of a Oxbridge and is nonruminant is not correct. sent2: if the fact that that the winner is a Oxbridge and nonruminant is not false does not hold then it is not a ESR. sent3: the shiner is not a ESR if there exists something such that it is not a kind of a Oxbridge. sent4: the koto is a kind of a consulship if the winner is nonexistent but it is not a ESR. sent5: the koto is nonexistent if the winner is a consulship. sent6: if something is sublittoral it is a consulship. sent7: the winner is not a Oxbridge if that the koto does not dissemble exurbia and it is ruminant does not hold. sent8: if that the winner is sublittoral is correct it is not existent.
void -> assump1: Let's assume that the winner is sublittoral.; sent8 & assump1 -> int1: the fact that the winner is nonexistent is correct.; sent2 & sent1 -> int2: the winner is not a ESR.; int1 & int2 -> int3: the winner is nonexistent but not a ESR.; int3 & sent4 -> int4: the koto is a consulship.; [assump1] & int4 -> hypothesis;
that the shiner is a consulship hold.
sent6 -> int5: the shiner is a consulship if it is not non-sublittoral.;
$hypothesis$ = if that the winner is sublittoral is correct the koto is a consulship. ; $context$ = sent1: the fact that the winner is a kind of a Oxbridge and is nonruminant is not correct. sent2: if the fact that that the winner is a Oxbridge and nonruminant is not false does not hold then it is not a ESR. sent3: the shiner is not a ESR if there exists something such that it is not a kind of a Oxbridge. sent4: the koto is a kind of a consulship if the winner is nonexistent but it is not a ESR. sent5: the koto is nonexistent if the winner is a consulship. sent6: if something is sublittoral it is a consulship. sent7: the winner is not a Oxbridge if that the koto does not dissemble exurbia and it is ruminant does not hold. sent8: if that the winner is sublittoral is correct it is not existent. ; $proof$ = 
void -> assump1: Let's assume that the winner is sublittoral.; sent8 & assump1 -> int1: the fact that the winner is nonexistent is correct.; sent2 & sent1 -> int2: the winner is not a ESR.; int1 & int2 -> int3: the winner is nonexistent but not a ESR.; int3 & sent4 -> int4: the koto is a consulship.; [assump1] & int4 -> hypothesis; __PROVED__