there is something such that if the fact that it is a kind of an elastic and it is not discriminatory is not right it does not prime poltergeist.
sent1: if the fact that the fact that the poltergeist is elastic but it is not discriminatory is incorrect is correct it does not prime poltergeist. sent2: there is something such that if it is a queasiness and it does not prime venison it does not gate chachka. sent3: there is something such that if the fact that it is an elastic and not discriminatory is incorrect it primes poltergeist. sent4: something is not discriminatory if the fact that it does prime simper and it is not a kind of a heavy is incorrect.
sent1 -> hypothesis;
if that the kat primes simper and is not a heavy is not true it is not discriminatory.
sent4 -> hypothesis;
$hypothesis$ = there is something such that if the fact that it is a kind of an elastic and it is not discriminatory is not right it does not prime poltergeist. ; $context$ = sent1: if the fact that the fact that the poltergeist is elastic but it is not discriminatory is incorrect is correct it does not prime poltergeist. sent2: there is something such that if it is a queasiness and it does not prime venison it does not gate chachka. sent3: there is something such that if the fact that it is an elastic and not discriminatory is incorrect it primes poltergeist. sent4: something is not discriminatory if the fact that it does prime simper and it is not a kind of a heavy is incorrect. ; $proof$ = 
sent1 -> hypothesis; __PROVED__