the document is naturistic and is a jauntiness.
sent1: the stria is unmanageable. sent2: the fact that that the document is not a biosynthesis and is not a Pomatomidae is not right is right. sent3: if the document is an addendum then it is not unmanageable. sent4: if something is not a kind of a lodging then it is a swindle. sent5: The coccus does not hear stria. sent6: the stria does not hear coccus. sent7: if the Holly is not unmanageable it is a roadway and it is naturistic. sent8: that that the stria is not middling and it is not chordal is not wrong does not hold. sent9: the fact that the record-breaker is not a kind of a tympanist and it does not hear Superfund does not hold. sent10: if something that does hear coccus is a kind of a roadway then that it is not unmanageable hold. sent11: the fact that the cytotoxin is chordal is correct. sent12: that the document is an addendum that is not chordal is wrong. sent13: the document is not unmanageable if that it is not a kind of an addendum and is not chordal is not true. sent14: the document is a jauntiness. sent15: the document is not a Zulu. sent16: if something is not a sweat then it is a biosynthesis. sent17: that the document is not an addendum and it is non-chordal is incorrect. sent18: the icaco is naturistic a roadway if that the stria is not unmanageable is not false. sent19: that the handkerchief is a kind of a roadway is correct. sent20: the cherrystone is an addendum. sent21: the stria is both a swivet and not a mire. sent22: the stria is not a roadway. sent23: the stria is an addendum. sent24: something is a roadway if it is not unmanageable. sent25: if the fact that the stria is archducal is not false it is not a jauntiness. sent26: the fact that the cytoplast is unmanageable is not false. sent27: if the document is a roadway but it is not naturistic that the stria does hear coccus hold.
sent24 -> int1: the document is a roadway if it is not unmanageable.; sent13 & sent17 -> int2: the document is not unmanageable.; int1 & int2 -> int3: the document is a roadway.; void -> assump1: Let's assume that the document is not naturistic.; int3 & assump1 -> int4: the document is both a roadway and not naturistic.; int4 & sent27 -> int5: that the fact that the stria does not hear coccus is correct is not right.; int5 & sent6 -> int6: this is contradiction.; [assump1] & int6 -> int7: the document is naturistic.; int7 & sent14 -> hypothesis;
the icaco is a roadway.
$hypothesis$ = the document is naturistic and is a jauntiness. ; $context$ = sent1: the stria is unmanageable. sent2: the fact that that the document is not a biosynthesis and is not a Pomatomidae is not right is right. sent3: if the document is an addendum then it is not unmanageable. sent4: if something is not a kind of a lodging then it is a swindle. sent5: The coccus does not hear stria. sent6: the stria does not hear coccus. sent7: if the Holly is not unmanageable it is a roadway and it is naturistic. sent8: that that the stria is not middling and it is not chordal is not wrong does not hold. sent9: the fact that the record-breaker is not a kind of a tympanist and it does not hear Superfund does not hold. sent10: if something that does hear coccus is a kind of a roadway then that it is not unmanageable hold. sent11: the fact that the cytotoxin is chordal is correct. sent12: that the document is an addendum that is not chordal is wrong. sent13: the document is not unmanageable if that it is not a kind of an addendum and is not chordal is not true. sent14: the document is a jauntiness. sent15: the document is not a Zulu. sent16: if something is not a sweat then it is a biosynthesis. sent17: that the document is not an addendum and it is non-chordal is incorrect. sent18: the icaco is naturistic a roadway if that the stria is not unmanageable is not false. sent19: that the handkerchief is a kind of a roadway is correct. sent20: the cherrystone is an addendum. sent21: the stria is both a swivet and not a mire. sent22: the stria is not a roadway. sent23: the stria is an addendum. sent24: something is a roadway if it is not unmanageable. sent25: if the fact that the stria is archducal is not false it is not a jauntiness. sent26: the fact that the cytoplast is unmanageable is not false. sent27: if the document is a roadway but it is not naturistic that the stria does hear coccus hold. ; $proof$ = 
sent24 -> int1: the document is a roadway if it is not unmanageable.; sent13 & sent17 -> int2: the document is not unmanageable.; int1 & int2 -> int3: the document is a roadway.; void -> assump1: Let's assume that the document is not naturistic.; int3 & assump1 -> int4: the document is both a roadway and not naturistic.; int4 & sent27 -> int5: that the fact that the stria does not hear coccus is correct is not right.; int5 & sent6 -> int6: this is contradiction.; [assump1] & int6 -> int7: the document is naturistic.; int7 & sent14 -> hypothesis; __PROVED__