there is something such that if it is not a ceremoniousness the fact that it is not experimental and discountenances rolling is not true.
sent1: there is something such that if it does not manhandle lunchtime that it does not discountenance projector and is pianistic is wrong. sent2: if that the sex is not a ceremoniousness is right then the fact that it is experimental and it does discountenance rolling does not hold. sent3: there exists something such that if it is a ceremoniousness the fact that it is not experimental and it discountenances rolling is not true. sent4: that the projector is both not faecal and experimental is not right if the fact that it is an eigenvalue is not correct. sent5: there exists something such that if it does not manhandle lunchtime that it is not alterable and it is a kind of a dictum is wrong. sent6: there is something such that if that it is not a kind of a ceremoniousness is not incorrect it is not experimental and does discountenance rolling. sent7: if something does not house the fact that it is non-carbocyclic and it is a langley is false. sent8: if the sex is a ceremoniousness that it is not experimental and it does discountenance rolling is false. sent9: there is something such that if it is not a ceremoniousness that it is experimental and it does discountenance rolling is not right. sent10: there is something such that if it does not crave then it is not polymorphous and is a exteroceptor. sent11: that that the sex is a kind of non-experimental thing that discountenances rolling is wrong hold if it is not a kind of a ceremoniousness. sent12: if the sex is not a ceremoniousness then it is non-experimental thing that does discountenance rolling. sent13: the fact that something is not a celeriac and ministers does not hold if that it is not a Edaphosauridae is not incorrect.
sent11 -> hypothesis;
there exists something such that if it is not a kind of a house that it is not carbocyclic and is a langley is wrong.
sent7 -> int1: if the pisanosaur does not house then the fact that it is non-carbocyclic and a langley is wrong.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is not a ceremoniousness the fact that it is not experimental and discountenances rolling is not true. ; $context$ = sent1: there is something such that if it does not manhandle lunchtime that it does not discountenance projector and is pianistic is wrong. sent2: if that the sex is not a ceremoniousness is right then the fact that it is experimental and it does discountenance rolling does not hold. sent3: there exists something such that if it is a ceremoniousness the fact that it is not experimental and it discountenances rolling is not true. sent4: that the projector is both not faecal and experimental is not right if the fact that it is an eigenvalue is not correct. sent5: there exists something such that if it does not manhandle lunchtime that it is not alterable and it is a kind of a dictum is wrong. sent6: there is something such that if that it is not a kind of a ceremoniousness is not incorrect it is not experimental and does discountenance rolling. sent7: if something does not house the fact that it is non-carbocyclic and it is a langley is false. sent8: if the sex is a ceremoniousness that it is not experimental and it does discountenance rolling is false. sent9: there is something such that if it is not a ceremoniousness that it is experimental and it does discountenance rolling is not right. sent10: there is something such that if it does not crave then it is not polymorphous and is a exteroceptor. sent11: that that the sex is a kind of non-experimental thing that discountenances rolling is wrong hold if it is not a kind of a ceremoniousness. sent12: if the sex is not a ceremoniousness then it is non-experimental thing that does discountenance rolling. sent13: the fact that something is not a celeriac and ministers does not hold if that it is not a Edaphosauridae is not incorrect. ; $proof$ = 
sent11 -> hypothesis; __PROVED__