the fact that there exists something such that if that it is not a suit and not a ironwork does not hold then it does not maintain lady's-eardrop is incorrect.
sent1: the pye-dog does not maintain lady's-eardrop if that it does not suit and is not a kind of a ironwork is not correct. sent2: if the fact that something does not suckle Latrodectus and does not change is false it is not corneal.
sent1 -> hypothesis;
there is something such that if that it does not suckle Latrodectus and is not a changed is not true then it is not corneal.
sent2 -> int1: if that the socialite does not suckle Latrodectus and is not a changed is not right then it is not corneal.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if that it is not a suit and not a ironwork does not hold then it does not maintain lady's-eardrop is incorrect. ; $context$ = sent1: the pye-dog does not maintain lady's-eardrop if that it does not suit and is not a kind of a ironwork is not correct. sent2: if the fact that something does not suckle Latrodectus and does not change is false it is not corneal. ; $proof$ = 
sent1 -> hypothesis; __DISPROVED__