there is something such that if it is a kind of a jurisdiction then that it is not a chafing and is a kind of a Offertory is false.
sent1: the fact that something is a chafing and it is a Offertory is not true if it is a jurisdiction. sent2: that something does not roof and strangulates postbox is false if it is mitral. sent3: if something deserves grid that it is not a kind of a banneret and it is a disciple does not hold. sent4: there is something such that if it is a kind of a jurisdiction it is not a kind of a chafing and it is a Offertory. sent5: that there exists something such that if the fact that it is anaerobic is not incorrect then the fact that it is not a Ulaanbaatar and it is a kind of a Malaysia does not hold is not false. sent6: if that the grid is asleep is right the fact that it is a Limousin and resists Miocene is not correct. sent7: if the grid is a jurisdiction then that it chafes and it is a kind of a Offertory is incorrect. sent8: something is both not a chafing and a Offertory if it is a jurisdiction. sent9: that something does not chafe but it is a Offertory does not hold if it is a kind of a jurisdiction. sent10: there exists something such that if it is a jurisdiction the fact that it is both a chafing and a Offertory is not right. sent11: the grid does not chafe and is a Offertory if it is a kind of a jurisdiction. sent12: there exists something such that if it is a Ismaili the fact that it is pneumogastric a Dail is wrong.
sent9 -> int1: that the grid does not chafe but it is a kind of a Offertory is not right if that it is a kind of a jurisdiction is not false.; int1 -> hypothesis;
there is something such that if it deserves grid that it is not a banneret and it is a kind of a disciple is not true.
sent3 -> int2: the fact that if the woodcock deserves grid the fact that the woodcock is not a banneret but it is a kind of a disciple is wrong is true.; int2 -> hypothesis;
$hypothesis$ = there is something such that if it is a kind of a jurisdiction then that it is not a chafing and is a kind of a Offertory is false. ; $context$ = sent1: the fact that something is a chafing and it is a Offertory is not true if it is a jurisdiction. sent2: that something does not roof and strangulates postbox is false if it is mitral. sent3: if something deserves grid that it is not a kind of a banneret and it is a disciple does not hold. sent4: there is something such that if it is a kind of a jurisdiction it is not a kind of a chafing and it is a Offertory. sent5: that there exists something such that if the fact that it is anaerobic is not incorrect then the fact that it is not a Ulaanbaatar and it is a kind of a Malaysia does not hold is not false. sent6: if that the grid is asleep is right the fact that it is a Limousin and resists Miocene is not correct. sent7: if the grid is a jurisdiction then that it chafes and it is a kind of a Offertory is incorrect. sent8: something is both not a chafing and a Offertory if it is a jurisdiction. sent9: that something does not chafe but it is a Offertory does not hold if it is a kind of a jurisdiction. sent10: there exists something such that if it is a jurisdiction the fact that it is both a chafing and a Offertory is not right. sent11: the grid does not chafe and is a Offertory if it is a kind of a jurisdiction. sent12: there exists something such that if it is a Ismaili the fact that it is pneumogastric a Dail is wrong. ; $proof$ = 
sent9 -> int1: that the grid does not chafe but it is a kind of a Offertory is not right if that it is a kind of a jurisdiction is not false.; int1 -> hypothesis; __PROVED__