the artilleryman is not a wherry.
sent1: if the intercom is not a down-bow it does not consider Dowland. sent2: the intercom considers Dowland if the schoolmate is non-knee-length thing that does consider pollucite. sent3: the intercom is not a latitudinarian and/or is not a down-bow. sent4: something does not consider Dowland if it does not consider pollucite and/or it is not a kind of a down-bow. sent5: the fact that something is non-knee-length thing that is not a latitudinarian is not right if it is not a down-bow. sent6: if the intercom does not consider Dowland the nailfile does not consider Dowland and is not a modern. sent7: if the schoolmate is a down-bow then the intercom does not consider pollucite or it is not a kind of a down-bow or both. sent8: the denim brightens. sent9: if something is a latitudinarian it does brighten. sent10: the denim is a latitudinarian. sent11: the denim brightens if it is a latitudinarian. sent12: if the intercom is a down-bow then it is knee-length. sent13: that if something is a latitudinarian then it brightens and it is not bacteriolytic is right. sent14: if something does not consider Dowland and does not consider pollucite it is not a down-bow. sent15: the artilleryman is a wherry if the nailfile does not consider Dowland and is not a kind of a modern. sent16: the schoolmate is knee-length if the denim brightens and is not bacteriolytic. sent17: if the schoolmate is knee-length then it is a down-bow. sent18: if the fact that the artilleryman is a kind of non-knee-length thing that does not consider Dowland is right the schoolmate is a wherry. sent19: the nailfile does not brighten and/or it does consider Dowland if the denim does consider Dowland.
sent13 -> int1: the denim brightens and is not bacteriolytic if that it is a latitudinarian is not incorrect.; int1 & sent10 -> int2: the denim does brighten but it is not bacteriolytic.; int2 & sent16 -> int3: the schoolmate is knee-length.; int3 & sent17 -> int4: the schoolmate is a down-bow.; int4 & sent7 -> int5: either the intercom does not consider pollucite or it is not a down-bow or both.; sent4 -> int6: if the intercom does not consider pollucite and/or is not a down-bow it does not consider Dowland.; int5 & int6 -> int7: the intercom does not consider Dowland.; int7 & sent6 -> int8: the nailfile does not consider Dowland and is not modern.; int8 & sent15 -> hypothesis;
the artilleryman is not a kind of a wherry.
sent5 -> int9: the fact that the intercom is non-knee-length thing that is not a kind of a latitudinarian is false if it is not a kind of a down-bow.; sent14 -> int10: that the intercom is not a kind of a down-bow is true if it does not consider Dowland and it does not consider pollucite.;
$hypothesis$ = the artilleryman is not a wherry. ; $context$ = sent1: if the intercom is not a down-bow it does not consider Dowland. sent2: the intercom considers Dowland if the schoolmate is non-knee-length thing that does consider pollucite. sent3: the intercom is not a latitudinarian and/or is not a down-bow. sent4: something does not consider Dowland if it does not consider pollucite and/or it is not a kind of a down-bow. sent5: the fact that something is non-knee-length thing that is not a latitudinarian is not right if it is not a down-bow. sent6: if the intercom does not consider Dowland the nailfile does not consider Dowland and is not a modern. sent7: if the schoolmate is a down-bow then the intercom does not consider pollucite or it is not a kind of a down-bow or both. sent8: the denim brightens. sent9: if something is a latitudinarian it does brighten. sent10: the denim is a latitudinarian. sent11: the denim brightens if it is a latitudinarian. sent12: if the intercom is a down-bow then it is knee-length. sent13: that if something is a latitudinarian then it brightens and it is not bacteriolytic is right. sent14: if something does not consider Dowland and does not consider pollucite it is not a down-bow. sent15: the artilleryman is a wherry if the nailfile does not consider Dowland and is not a kind of a modern. sent16: the schoolmate is knee-length if the denim brightens and is not bacteriolytic. sent17: if the schoolmate is knee-length then it is a down-bow. sent18: if the fact that the artilleryman is a kind of non-knee-length thing that does not consider Dowland is right the schoolmate is a wherry. sent19: the nailfile does not brighten and/or it does consider Dowland if the denim does consider Dowland. ; $proof$ = 
sent13 -> int1: the denim brightens and is not bacteriolytic if that it is a latitudinarian is not incorrect.; int1 & sent10 -> int2: the denim does brighten but it is not bacteriolytic.; int2 & sent16 -> int3: the schoolmate is knee-length.; int3 & sent17 -> int4: the schoolmate is a down-bow.; int4 & sent7 -> int5: either the intercom does not consider pollucite or it is not a down-bow or both.; sent4 -> int6: if the intercom does not consider pollucite and/or is not a down-bow it does not consider Dowland.; int5 & int6 -> int7: the intercom does not consider Dowland.; int7 & sent6 -> int8: the nailfile does not consider Dowland and is not modern.; int8 & sent15 -> hypothesis; __DISPROVED__