the Twinkie is not a kind of a swept.
sent1: the fact that the lovastatin is a arenavirus is not incorrect. sent2: the lovastatin is not a arenavirus if it is both a patriarchy and not a pyrimidine. sent3: if there is something such that the fact that it is a kind of a patriarchy and it is not a pyrimidine is not right then the Twinkie is a kind of a swept.
void -> assump1: Let's assume that the lovastatin is a patriarchy and is not a kind of a pyrimidine.; sent2 & assump1 -> int1: the lovastatin is not a arenavirus.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the lovastatin is a kind of a patriarchy that is not a pyrimidine is not right.; int3 -> int4: there exists something such that that that it is a patriarchy and it is not a kind of a pyrimidine is not wrong is not right.; int4 & sent3 -> hypothesis;
$hypothesis$ = the Twinkie is not a kind of a swept. ; $context$ = sent1: the fact that the lovastatin is a arenavirus is not incorrect. sent2: the lovastatin is not a arenavirus if it is both a patriarchy and not a pyrimidine. sent3: if there is something such that the fact that it is a kind of a patriarchy and it is not a pyrimidine is not right then the Twinkie is a kind of a swept. ; $proof$ = 
void -> assump1: Let's assume that the lovastatin is a patriarchy and is not a kind of a pyrimidine.; sent2 & assump1 -> int1: the lovastatin is not a arenavirus.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the lovastatin is a kind of a patriarchy that is not a pyrimidine is not right.; int3 -> int4: there exists something such that that that it is a patriarchy and it is not a kind of a pyrimidine is not wrong is not right.; int4 & sent3 -> hypothesis; __DISPROVED__