the rhumb does ape Sclerotium.
sent1: there exists something such that that it is not perithelial is not incorrect. sent2: if the rhumb does covet uterus but it is not incorrect the Sclerotium does ape Sclerotium. sent3: if something is not perithelial then the Sclerotium is not incorrect and does not covet uterus. sent4: if the Sclerotium is correct thing that does not covet uterus the rhumb apes Sclerotium.
sent1 & sent3 -> int1: the Sclerotium is not incorrect and it does not covet uterus.; int1 & sent4 -> hypothesis;
$hypothesis$ = the rhumb does ape Sclerotium. ; $context$ = sent1: there exists something such that that it is not perithelial is not incorrect. sent2: if the rhumb does covet uterus but it is not incorrect the Sclerotium does ape Sclerotium. sent3: if something is not perithelial then the Sclerotium is not incorrect and does not covet uterus. sent4: if the Sclerotium is correct thing that does not covet uterus the rhumb apes Sclerotium. ; $proof$ = 
sent1 & sent3 -> int1: the Sclerotium is not incorrect and it does not covet uterus.; int1 & sent4 -> hypothesis; __PROVED__