that something is a kind of a spirogram or it is a patter or both is not true.
sent1: if that the letter is not a spirogram is not incorrect it is unprofitable. sent2: the letter is not unprofitable if there is something such that it is a venom. sent3: there is something such that that it is unprofitable and it is not a venom is incorrect. sent4: if the Hispanic is not a yolk it is a venom. sent5: if there is something such that that it is unprofitable but not a venom is not correct the letter is not unprofitable. sent6: the letter is a diva. sent7: the Hell is not unprofitable if that the letter is not a venom and/or it is not unprofitable is not correct. sent8: the letter is not a kind of a venom. sent9: there exists something such that it is unprofitable and it is not a venom.
void -> assump1: Let's assume that the letter is not a spirogram.; sent1 & assump1 -> int1: the letter is unprofitable.; sent3 & sent5 -> int2: the letter is not unprofitable.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the letter is a spirogram.; int4 -> int5: the letter is a spirogram and/or it is a patter.; int5 -> hypothesis;
the Hell is not a patter.
$hypothesis$ = that something is a kind of a spirogram or it is a patter or both is not true. ; $context$ = sent1: if that the letter is not a spirogram is not incorrect it is unprofitable. sent2: the letter is not unprofitable if there is something such that it is a venom. sent3: there is something such that that it is unprofitable and it is not a venom is incorrect. sent4: if the Hispanic is not a yolk it is a venom. sent5: if there is something such that that it is unprofitable but not a venom is not correct the letter is not unprofitable. sent6: the letter is a diva. sent7: the Hell is not unprofitable if that the letter is not a venom and/or it is not unprofitable is not correct. sent8: the letter is not a kind of a venom. sent9: there exists something such that it is unprofitable and it is not a venom. ; $proof$ = 
void -> assump1: Let's assume that the letter is not a spirogram.; sent1 & assump1 -> int1: the letter is unprofitable.; sent3 & sent5 -> int2: the letter is not unprofitable.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the letter is a spirogram.; int4 -> int5: the letter is a spirogram and/or it is a patter.; int5 -> hypothesis; __DISPROVED__