the fact that the shackle is a voicing and is not a kind of a cheese is not correct.
sent1: that the worksheet is a kind of catechistic thing that does not camber sextant is not right if there exists something such that it is not a Gospel. sent2: the worksheet is not allantoic. sent3: if that the pentaerythritol does rotate slovenliness and is a kind of a vernacular is not right that the worksheet is not allantoic is correct. sent4: that the shackle is not catechistic is not wrong if it is not a vernacular and does rotate slovenliness. sent5: that the worksheet is catechistic but it is not a voicing is false. sent6: that the smokehouse is a rubefacient and is not catechistic is false. sent7: if there exists something such that that it is catechistic and does not camber sextant is not correct then the pentaerythritol is allantoic. sent8: the fact that the worksheet cambers sextant but it does not rotate slovenliness is not correct. sent9: the shackle does not camber sextant if it does not rotate slovenliness and is a vernacular. sent10: the fact that the shackle is a voicing and not a cheese is not correct if it is not a Gospel. sent11: the fact that the worksheet is catechistic but it does not rotate slovenliness is wrong if there is something such that it is not allantoic. sent12: if something is not allantoic the fact that it is catechistic thing that cambers sextant is false. sent13: there exists something such that that it is allantoic thing that cheeses is not correct. sent14: the shackle is not a cheese if it does not rotate slovenliness and is a vernacular. sent15: something is not a kind of a Gospel. sent16: the shackle does voice if the pentaerythritol is allantoic. sent17: the shackle does not rotate slovenliness but it is a vernacular.
sent15 & sent1 -> int1: that that the worksheet is catechistic and does not camber sextant does not hold hold.; int1 -> int2: there is something such that the fact that it is not non-catechistic and does not camber sextant does not hold.; int2 & sent7 -> int3: the pentaerythritol is not non-allantoic.; int3 & sent16 -> int4: the shackle is a kind of a voicing.; sent14 & sent17 -> int5: the shackle is not a kind of a cheese.; int4 & int5 -> hypothesis;
the fact that the shackle voices but it does not cheese does not hold.
sent12 -> int6: if the worksheet is not allantoic that it is catechistic thing that does camber sextant is not true.;
$hypothesis$ = the fact that the shackle is a voicing and is not a kind of a cheese is not correct. ; $context$ = sent1: that the worksheet is a kind of catechistic thing that does not camber sextant is not right if there exists something such that it is not a Gospel. sent2: the worksheet is not allantoic. sent3: if that the pentaerythritol does rotate slovenliness and is a kind of a vernacular is not right that the worksheet is not allantoic is correct. sent4: that the shackle is not catechistic is not wrong if it is not a vernacular and does rotate slovenliness. sent5: that the worksheet is catechistic but it is not a voicing is false. sent6: that the smokehouse is a rubefacient and is not catechistic is false. sent7: if there exists something such that that it is catechistic and does not camber sextant is not correct then the pentaerythritol is allantoic. sent8: the fact that the worksheet cambers sextant but it does not rotate slovenliness is not correct. sent9: the shackle does not camber sextant if it does not rotate slovenliness and is a vernacular. sent10: the fact that the shackle is a voicing and not a cheese is not correct if it is not a Gospel. sent11: the fact that the worksheet is catechistic but it does not rotate slovenliness is wrong if there is something such that it is not allantoic. sent12: if something is not allantoic the fact that it is catechistic thing that cambers sextant is false. sent13: there exists something such that that it is allantoic thing that cheeses is not correct. sent14: the shackle is not a cheese if it does not rotate slovenliness and is a vernacular. sent15: something is not a kind of a Gospel. sent16: the shackle does voice if the pentaerythritol is allantoic. sent17: the shackle does not rotate slovenliness but it is a vernacular. ; $proof$ = 
sent15 & sent1 -> int1: that that the worksheet is catechistic and does not camber sextant does not hold hold.; int1 -> int2: there is something such that the fact that it is not non-catechistic and does not camber sextant does not hold.; int2 & sent7 -> int3: the pentaerythritol is not non-allantoic.; int3 & sent16 -> int4: the shackle is a kind of a voicing.; sent14 & sent17 -> int5: the shackle is not a kind of a cheese.; int4 & int5 -> hypothesis; __DISPROVED__