the avower Simonizes blinded.
sent1: if there exists something such that it does Simonize Galician and/or it is not a kind of a cleaner the urocele is non-stupid. sent2: if something is stupid or it is electronics or both then it does not Simonize blinded. sent3: the urocele is electronics if the fact that it does not forget and/or does heat speculativeness does not hold. sent4: if the avower does not Simonize blinded either the thiazide does Simonize Galician or it is not a cleaner or both. sent5: the fact that the urocele does not forget and/or does heat speculativeness is not true. sent6: something does Simonize Galician and/or is a kind of a cleaner. sent7: the urocele is not a stupid if there exists something such that it is not a cleaner. sent8: something that is electronics is a kind of a stupid.
void -> assump1: Let's assume that the avower does not Simonize blinded.; sent4 & assump1 -> int1: either the thiazide Simonizes Galician or it is not a cleaner or both.; int1 -> int2: there is something such that either it Simonizes Galician or it is not a cleaner or both.; int2 & sent1 -> int3: the urocele is not a stupid.; sent8 -> int4: if the fact that the urocele is electronics is true it is stupid.; sent3 & sent5 -> int5: the urocele is electronics.; int4 & int5 -> int6: the urocele is a stupid.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the avower does not Simonize blinded.
sent2 -> int8: if the avower is stupid and/or it is electronics it does not Simonize blinded.;
$hypothesis$ = the avower Simonizes blinded. ; $context$ = sent1: if there exists something such that it does Simonize Galician and/or it is not a kind of a cleaner the urocele is non-stupid. sent2: if something is stupid or it is electronics or both then it does not Simonize blinded. sent3: the urocele is electronics if the fact that it does not forget and/or does heat speculativeness does not hold. sent4: if the avower does not Simonize blinded either the thiazide does Simonize Galician or it is not a cleaner or both. sent5: the fact that the urocele does not forget and/or does heat speculativeness is not true. sent6: something does Simonize Galician and/or is a kind of a cleaner. sent7: the urocele is not a stupid if there exists something such that it is not a cleaner. sent8: something that is electronics is a kind of a stupid. ; $proof$ = 
void -> assump1: Let's assume that the avower does not Simonize blinded.; sent4 & assump1 -> int1: either the thiazide Simonizes Galician or it is not a cleaner or both.; int1 -> int2: there is something such that either it Simonizes Galician or it is not a cleaner or both.; int2 & sent1 -> int3: the urocele is not a stupid.; sent8 -> int4: if the fact that the urocele is electronics is true it is stupid.; sent3 & sent5 -> int5: the urocele is electronics.; int4 & int5 -> int6: the urocele is a stupid.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __PROVED__