the fact that the outpost does fritter wonderer and is packable is not true.
sent1: the photoemission does not hedge sidebar. sent2: The sidebar does not hedge photoemission. sent3: the fantail is not a closet if there exists something such that it does not hedge sidebar. sent4: the fact that the fantail is a kind of packable thing that closets is not correct. sent5: there is something such that it does hedge sidebar. sent6: that the outpost fritters wonderer and is packable is not correct if there is something such that it is not a kind of a closet.
sent1 -> int1: there exists something such that it does not hedge sidebar.; int1 & sent3 -> int2: the fantail is not a kind of a closet.; int2 -> int3: there exists something such that it is not a closet.; int3 & sent6 -> hypothesis;
$hypothesis$ = the fact that the outpost does fritter wonderer and is packable is not true. ; $context$ = sent1: the photoemission does not hedge sidebar. sent2: The sidebar does not hedge photoemission. sent3: the fantail is not a closet if there exists something such that it does not hedge sidebar. sent4: the fact that the fantail is a kind of packable thing that closets is not correct. sent5: there is something such that it does hedge sidebar. sent6: that the outpost fritters wonderer and is packable is not correct if there is something such that it is not a kind of a closet. ; $proof$ = 
sent1 -> int1: there exists something such that it does not hedge sidebar.; int1 & sent3 -> int2: the fantail is not a kind of a closet.; int2 -> int3: there exists something such that it is not a closet.; int3 & sent6 -> hypothesis; __PROVED__