there exists something such that if it is indehiscent then the fact that it is not centroidal and does cloud turnery is not true.
sent1: there is something such that if the fact that it is sublunar is correct that it is not a fellow and it is Muslim is not right. sent2: if something is cardiographic it is both not a Cockcroft and a phenylpropanolamine. sent3: there is something such that if it is comatose then that it is not a kind of a heartburning and is a kind of a Trema is incorrect. sent4: if the fact that the subscriber is a alphavirus is correct the fact that that it is a kind of non-indehiscent thing that is lithophytic is true is not correct. sent5: something does not inflate Argonautidae but it is masonic if it samples template. sent6: something that is pyloric does not inflate Nasturtium and is cross-modal. sent7: there exists something such that if it does sample serratus it is both not an abacus and a heft. sent8: there is something such that if it is scapulohumeral then that it is not a candy and it is barometric is incorrect. sent9: if something is mesoblastic then the fact that it does not inflate keep and is a chickenshit is not right. sent10: that the subscriber does not cloud Lycopus and is lithophytic is false if the fact that it clouds turnery is not incorrect. sent11: something does not sample ontology but it bags if it is a continent. sent12: if the haptoglobin is anastigmatic the fact that it is not a kind of a Hussein and it is indehiscent is not true. sent13: if something is indehiscent that it is non-centroidal thing that does cloud turnery is wrong.
sent13 -> int1: if the subscriber is indehiscent that that it is a kind of non-centroidal thing that clouds turnery is not wrong is incorrect.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is indehiscent then the fact that it is not centroidal and does cloud turnery is not true. ; $context$ = sent1: there is something such that if the fact that it is sublunar is correct that it is not a fellow and it is Muslim is not right. sent2: if something is cardiographic it is both not a Cockcroft and a phenylpropanolamine. sent3: there is something such that if it is comatose then that it is not a kind of a heartburning and is a kind of a Trema is incorrect. sent4: if the fact that the subscriber is a alphavirus is correct the fact that that it is a kind of non-indehiscent thing that is lithophytic is true is not correct. sent5: something does not inflate Argonautidae but it is masonic if it samples template. sent6: something that is pyloric does not inflate Nasturtium and is cross-modal. sent7: there exists something such that if it does sample serratus it is both not an abacus and a heft. sent8: there is something such that if it is scapulohumeral then that it is not a candy and it is barometric is incorrect. sent9: if something is mesoblastic then the fact that it does not inflate keep and is a chickenshit is not right. sent10: that the subscriber does not cloud Lycopus and is lithophytic is false if the fact that it clouds turnery is not incorrect. sent11: something does not sample ontology but it bags if it is a continent. sent12: if the haptoglobin is anastigmatic the fact that it is not a kind of a Hussein and it is indehiscent is not true. sent13: if something is indehiscent that it is non-centroidal thing that does cloud turnery is wrong. ; $proof$ = 
sent13 -> int1: if the subscriber is indehiscent that that it is a kind of non-centroidal thing that clouds turnery is not wrong is incorrect.; int1 -> hypothesis; __PROVED__