the bloodmobile is not unobvious and/or it is valvular.
sent1: something is not servile if either it skittles or it is not servile or both. sent2: the chalcopyrite does not skittle. sent3: if something does not skittle then it is unobvious and not unservile. sent4: either something is a jongleur or it skittles or both if it is not a Saale. sent5: the chalcopyrite skittles if the fact that the crookneck is not servile does not hold. sent6: if the chalcopyrite is unobvious then the fact that the bloodmobile does skittle is right. sent7: the chalcopyrite is not a Saale if there exists something such that that it is both a ringleader and bizonal is not correct. sent8: that the hogback is a ringleader and it is bizonal does not hold. sent9: the bloodmobile is unobvious or is valvular or both. sent10: if the bloodmobile is unobvious then the crookneck is servile.
void -> assump1: Let's assume that the bloodmobile is unobvious.; sent10 & assump1 -> int1: the crookneck is servile.; int1 & sent5 -> int2: that the chalcopyrite does skittle is not incorrect.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the bloodmobile is not unobvious.; int4 -> hypothesis;
the rheumatic is valvular.
sent3 -> int5: if the rheumatic does not skittle it is unobvious and is servile.;
$hypothesis$ = the bloodmobile is not unobvious and/or it is valvular. ; $context$ = sent1: something is not servile if either it skittles or it is not servile or both. sent2: the chalcopyrite does not skittle. sent3: if something does not skittle then it is unobvious and not unservile. sent4: either something is a jongleur or it skittles or both if it is not a Saale. sent5: the chalcopyrite skittles if the fact that the crookneck is not servile does not hold. sent6: if the chalcopyrite is unobvious then the fact that the bloodmobile does skittle is right. sent7: the chalcopyrite is not a Saale if there exists something such that that it is both a ringleader and bizonal is not correct. sent8: that the hogback is a ringleader and it is bizonal does not hold. sent9: the bloodmobile is unobvious or is valvular or both. sent10: if the bloodmobile is unobvious then the crookneck is servile. ; $proof$ = 
void -> assump1: Let's assume that the bloodmobile is unobvious.; sent10 & assump1 -> int1: the crookneck is servile.; int1 & sent5 -> int2: that the chalcopyrite does skittle is not incorrect.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the bloodmobile is not unobvious.; int4 -> hypothesis; __PROVED__