there exists something such that if it does not crystallize transaction it is both not non-Hemingwayesque and not non-extraterritorial.
sent1: there exists something such that if it does not crystallize transaction then it is extraterritorial. sent2: if something is bloodless it is a Algonquian and it does weld invariability. sent3: there exists something such that if it does crystallize transaction it is Hemingwayesque and is extraterritorial. sent4: something that does not weld tabasco is a Numididae and does shatter slipper. sent5: the stumpknocker does reline terbium and it stiffens if it does not crystallize transaction. sent6: something is a Moline if the fact that it is not wearable hold. sent7: something is productive and it is a voicelessness if that it does not reline otter hold. sent8: something is anticoagulative and it is a kind of a piste if it does not weld draped. sent9: there exists something such that if that it crystallizes transaction is incorrect it is Hemingwayesque. sent10: the fact that something is Hemingwayesque and is extraterritorial hold if it does not crystallize transaction. sent11: the stumpknocker is extraterritorial if it does not crystallize transaction. sent12: if the fact that the stumpknocker does crystallize transaction is correct it is not non-Hemingwayesque and it is extraterritorial. sent13: something is a kind of an alligator if it does not weld tabasco. sent14: if something crystallizes transaction then it is Hemingwayesque and it is extraterritorial. sent15: there is something such that if it is not perianal it is a teach-in and a neuroplasty.
sent10 -> int1: if the stumpknocker does not crystallize transaction then it is a kind of Hemingwayesque thing that is extraterritorial.; int1 -> hypothesis;
there exists something such that if it does not reline otter it is productive thing that is a voicelessness.
sent7 -> int2: if the fact that the concertina does not reline otter is right it is productive and it is a voicelessness.; int2 -> hypothesis;
$hypothesis$ = there exists something such that if it does not crystallize transaction it is both not non-Hemingwayesque and not non-extraterritorial. ; $context$ = sent1: there exists something such that if it does not crystallize transaction then it is extraterritorial. sent2: if something is bloodless it is a Algonquian and it does weld invariability. sent3: there exists something such that if it does crystallize transaction it is Hemingwayesque and is extraterritorial. sent4: something that does not weld tabasco is a Numididae and does shatter slipper. sent5: the stumpknocker does reline terbium and it stiffens if it does not crystallize transaction. sent6: something is a Moline if the fact that it is not wearable hold. sent7: something is productive and it is a voicelessness if that it does not reline otter hold. sent8: something is anticoagulative and it is a kind of a piste if it does not weld draped. sent9: there exists something such that if that it crystallizes transaction is incorrect it is Hemingwayesque. sent10: the fact that something is Hemingwayesque and is extraterritorial hold if it does not crystallize transaction. sent11: the stumpknocker is extraterritorial if it does not crystallize transaction. sent12: if the fact that the stumpknocker does crystallize transaction is correct it is not non-Hemingwayesque and it is extraterritorial. sent13: something is a kind of an alligator if it does not weld tabasco. sent14: if something crystallizes transaction then it is Hemingwayesque and it is extraterritorial. sent15: there is something such that if it is not perianal it is a teach-in and a neuroplasty. ; $proof$ = 
sent10 -> int1: if the stumpknocker does not crystallize transaction then it is a kind of Hemingwayesque thing that is extraterritorial.; int1 -> hypothesis; __PROVED__