the fact that there exists something such that if it is a endometrium then it is not symbolic and it is not a shortgrass is incorrect.
sent1: if the docent is a endometrium then it is not symbolic and it is not a kind of a shortgrass. sent2: the ironworks does not powder Io and is not symbolic if it is a ordinal. sent3: something is not a kind of a polecat and does not daydream if it is a Cestrum.
sent1 -> hypothesis;
there is something such that if that it is a Cestrum is not wrong then it is not a polecat and it does not daydream.
sent3 -> int1: if the qibla is a Cestrum then it is not a kind of a polecat and does not daydream.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is a endometrium then it is not symbolic and it is not a shortgrass is incorrect. ; $context$ = sent1: if the docent is a endometrium then it is not symbolic and it is not a kind of a shortgrass. sent2: the ironworks does not powder Io and is not symbolic if it is a ordinal. sent3: something is not a kind of a polecat and does not daydream if it is a Cestrum. ; $proof$ = 
sent1 -> hypothesis; __DISPROVED__