the soddy is not a stratigraphy.
sent1: the soddy is not a stratigraphy if something that deplores surcharge is a leer. sent2: everything leers. sent3: there is something such that it does leer. sent4: the fact that if the aggregate is a microscopist the shittah impairs Jeroboam is true. sent5: that the shittah does impair Jeroboam is not incorrect if the aggregate is a poke. sent6: if the fact that that the revolver does not leer but it does deplore surcharge is right is not true it does not deplore surcharge. sent7: the aggregate pokes and/or it is a microscopist if the revolver is not neurophysiological. sent8: the spironolactone deplores surcharge if the shittah impairs Jeroboam. sent9: the aggregate does impair Jeroboam if the shittah is a poke.
sent2 -> int1: the spironolactone does leer.;
the soddy is a kind of a stratigraphy.
$hypothesis$ = the soddy is not a stratigraphy. ; $context$ = sent1: the soddy is not a stratigraphy if something that deplores surcharge is a leer. sent2: everything leers. sent3: there is something such that it does leer. sent4: the fact that if the aggregate is a microscopist the shittah impairs Jeroboam is true. sent5: that the shittah does impair Jeroboam is not incorrect if the aggregate is a poke. sent6: if the fact that that the revolver does not leer but it does deplore surcharge is right is not true it does not deplore surcharge. sent7: the aggregate pokes and/or it is a microscopist if the revolver is not neurophysiological. sent8: the spironolactone deplores surcharge if the shittah impairs Jeroboam. sent9: the aggregate does impair Jeroboam if the shittah is a poke. ; $proof$ = 
sent2 -> int1: the spironolactone does leer.; __UNKNOWN__