the fact that there is something such that if the fact that it is mesial and it is a kind of an overkill is false it is not a setter does not hold.
sent1: if that the fact that the Light is mesial and an overkill is not incorrect is not correct the fact that it is not a setter hold. sent2: there is something such that if it is not a kind of a Villard then it does not poultice puppetry. sent3: if that the Light is a kind of ascetic a deskman is false it is not mesial. sent4: the Light is not mesial if it does ambulate and it is a cookstove.
sent1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if the fact that it is mesial and it is a kind of an overkill is false it is not a setter does not hold. ; $context$ = sent1: if that the fact that the Light is mesial and an overkill is not incorrect is not correct the fact that it is not a setter hold. sent2: there is something such that if it is not a kind of a Villard then it does not poultice puppetry. sent3: if that the Light is a kind of ascetic a deskman is false it is not mesial. sent4: the Light is not mesial if it does ambulate and it is a cookstove. ; $proof$ = 
sent1 -> hypothesis; __DISPROVED__