there exists something such that if that it is not a rhinovirus and is a jejunostomy does not hold then it is not a nefariousness.
sent1: something is not a nefariousness if the fact that it is not an inventor and it is a pyrrhic does not hold. sent2: the archil is a nefariousness if the fact that it is not a rhinovirus but a jejunostomy does not hold. sent3: if the fact that the archil is not a rhinovirus but a jejunostomy is incorrect it is not a nefariousness.
sent3 -> hypothesis;
that the entrecote is not a kind of a nefariousness hold if the fact that it is both not an inventor and a pyrrhic is not correct.
sent1 -> hypothesis;
$hypothesis$ = there exists something such that if that it is not a rhinovirus and is a jejunostomy does not hold then it is not a nefariousness. ; $context$ = sent1: something is not a nefariousness if the fact that it is not an inventor and it is a pyrrhic does not hold. sent2: the archil is a nefariousness if the fact that it is not a rhinovirus but a jejunostomy does not hold. sent3: if the fact that the archil is not a rhinovirus but a jejunostomy is incorrect it is not a nefariousness. ; $proof$ = 
sent3 -> hypothesis; __PROVED__