there is something such that if it does not conventionalize concentrate then it is not intrastate.
sent1: something is not intrastate if that it does not conventionalize concentrate hold. sent2: there exists something such that if it is carpellate it does not steel Gilbert. sent3: something is not intrastate if it does conventionalize concentrate. sent4: there exists something such that if that it does conventionalize concentrate is not false then it is not intrastate. sent5: something that does not conventionalize concentrate is intrastate. sent6: if the legs does not conventionalize concentrate it is intrastate. sent7: there is something such that if it does not conventionalize concentrate then it is intrastate.
sent1 -> int1: the legs is not intrastate if it does not conventionalize concentrate.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it does not conventionalize concentrate then it is not intrastate. ; $context$ = sent1: something is not intrastate if that it does not conventionalize concentrate hold. sent2: there exists something such that if it is carpellate it does not steel Gilbert. sent3: something is not intrastate if it does conventionalize concentrate. sent4: there exists something such that if that it does conventionalize concentrate is not false then it is not intrastate. sent5: something that does not conventionalize concentrate is intrastate. sent6: if the legs does not conventionalize concentrate it is intrastate. sent7: there is something such that if it does not conventionalize concentrate then it is intrastate. ; $proof$ = 
sent1 -> int1: the legs is not intrastate if it does not conventionalize concentrate.; int1 -> hypothesis; __PROVED__