the fact that the torrent does not underquote tonsil but it is a Gambian is wrong.
sent1: if there exists something such that that it does not effloresce and it is a fur is wrong then the Kazak is not sarcolemmal. sent2: that the fanny is both non-Liverpudlian and sarcolemmal does not hold if the weeper is not a kind of a non-Liverpudlian. sent3: if that the fanny is not a Liverpudlian and is sarcolemmal is not correct then the Kazak reports. sent4: if there exists something such that it is not sarcolemmal then the fanny is not a kind of a report. sent5: there is something such that that it does not effloresce and is a kind of a fur is not right. sent6: if something is an eventuality then it is not a Liverpudlian. sent7: the weeper is a kind of an eventuality and it is a Mencken. sent8: if something is an eventuality the fact that it does not underquote tonsil and is a Gambian is not right. sent9: if the Kazak does report then the torrent does not underquote tonsil and is a kind of a Gambian.
sent7 -> int1: the weeper is an eventuality.; sent6 -> int2: that the weeper is not Liverpudlian hold if it is an eventuality.; int1 & int2 -> int3: the weeper is not a Liverpudlian.; int3 & sent2 -> int4: that the fanny is not Liverpudlian and is not non-sarcolemmal is not correct.; int4 & sent3 -> int5: the Kazak reports.; int5 & sent9 -> hypothesis;
that the torrent does not underquote tonsil and is Gambian is not right.
sent8 -> int6: the fact that the torrent does not underquote tonsil and is a Gambian does not hold if it is an eventuality.; sent5 & sent1 -> int7: the Kazak is not sarcolemmal.; int7 -> int8: something is not sarcolemmal.; int8 & sent4 -> int9: the fanny does not report.; int9 -> int10: there is something such that it is not a report.;
$hypothesis$ = the fact that the torrent does not underquote tonsil but it is a Gambian is wrong. ; $context$ = sent1: if there exists something such that that it does not effloresce and it is a fur is wrong then the Kazak is not sarcolemmal. sent2: that the fanny is both non-Liverpudlian and sarcolemmal does not hold if the weeper is not a kind of a non-Liverpudlian. sent3: if that the fanny is not a Liverpudlian and is sarcolemmal is not correct then the Kazak reports. sent4: if there exists something such that it is not sarcolemmal then the fanny is not a kind of a report. sent5: there is something such that that it does not effloresce and is a kind of a fur is not right. sent6: if something is an eventuality then it is not a Liverpudlian. sent7: the weeper is a kind of an eventuality and it is a Mencken. sent8: if something is an eventuality the fact that it does not underquote tonsil and is a Gambian is not right. sent9: if the Kazak does report then the torrent does not underquote tonsil and is a kind of a Gambian. ; $proof$ = 
sent7 -> int1: the weeper is an eventuality.; sent6 -> int2: that the weeper is not Liverpudlian hold if it is an eventuality.; int1 & int2 -> int3: the weeper is not a Liverpudlian.; int3 & sent2 -> int4: that the fanny is not Liverpudlian and is not non-sarcolemmal is not correct.; int4 & sent3 -> int5: the Kazak reports.; int5 & sent9 -> hypothesis; __DISPROVED__