there exists something such that if it is nocturnal it is proximate.
sent1: there exists something such that if the fact that it is sclerotic is right it is a kind of an oblate. sent2: there exists something such that if it is a psychodid it is dural. sent3: if the moire is nocturnal then it is not non-proximate. sent4: the pentazocine is a Merida if it is nocturnal. sent5: there exists something such that if it is a kind of a welt the fact that it models is not incorrect. sent6: if the moire crowds it is proximate. sent7: if something is doctoral that it is a doubling is correct. sent8: there exists something such that if it is decorous it guzzles. sent9: there is something such that if it does transact then it is a professor. sent10: there is something such that if it is a kind of a transfer then it does starve. sent11: there exists something such that if it butts phone it does weave thumbed. sent12: if the moire is nocturnal then it does need. sent13: if the moire is proximate then it weaves Wilde. sent14: something pirates if it does need.
sent3 -> hypothesis;
there is something such that if it does need it is a pirate.
sent14 -> int1: the GHQ does pirate if it is a need.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is nocturnal it is proximate. ; $context$ = sent1: there exists something such that if the fact that it is sclerotic is right it is a kind of an oblate. sent2: there exists something such that if it is a psychodid it is dural. sent3: if the moire is nocturnal then it is not non-proximate. sent4: the pentazocine is a Merida if it is nocturnal. sent5: there exists something such that if it is a kind of a welt the fact that it models is not incorrect. sent6: if the moire crowds it is proximate. sent7: if something is doctoral that it is a doubling is correct. sent8: there exists something such that if it is decorous it guzzles. sent9: there is something such that if it does transact then it is a professor. sent10: there is something such that if it is a kind of a transfer then it does starve. sent11: there exists something such that if it butts phone it does weave thumbed. sent12: if the moire is nocturnal then it does need. sent13: if the moire is proximate then it weaves Wilde. sent14: something pirates if it does need. ; $proof$ = 
sent3 -> hypothesis; __PROVED__