the map is a fundraiser and it is bacteriolytic.
sent1: if the dobson is not a holophyte it is not a heliotropism. sent2: something is bacteriolytic if it is bacteriolytic or it is not nonharmonic or both. sent3: if something is not a diseased then that it is a fundraiser that is bacteriolytic does not hold. sent4: if something is a holophyte but it is not a heliotropism it is not a diseased. sent5: the dampener does not obligate but it is marly. sent6: that the dobson is a heliotropism and/or it is not marly is not correct. sent7: the map is bacteriolytic and/or it is not nonharmonic if the prepuce is not a bowfin. sent8: if the map is not a fundraiser and is marly then the dampener is not a heliotropism. sent9: if the dampener does not obligate and is marly then the dobson is not a kind of a holophyte. sent10: the prepuce does tailgate yuppie and is not a bowfin. sent11: if something is not a kind of a holophyte then it is not a heliotropism. sent12: the dampener does not obligate. sent13: if the dampener is both obligated and marly the dobson is not a holophyte. sent14: the dampener is a heliotropism. sent15: if something is not a holophyte then that it is a heliotropism and/or it is not a diseased is not true. sent16: the dampener is not a kind of a bowfin if it tailgates yuppie and it is nonharmonic. sent17: the fact that that the prepuce is bacteriolytic and/or it does not tailgate yuppie is correct is not true. sent18: the map is a fundraiser if that the fact that the dobson is a heliotropism or it is not a kind of a diseased or both is wrong hold. sent19: the prepuce does tailgate yuppie. sent20: that the dobson is not a heliotropism is not incorrect.
sent9 & sent5 -> int1: the dobson is not a holophyte.; sent15 -> int2: if the dobson is not a holophyte then the fact that it is a heliotropism and/or it is not a kind of a diseased is false.; int1 & int2 -> int3: that either the dobson is a heliotropism or it is not a diseased or both does not hold.; int3 & sent18 -> int4: the map is a kind of a fundraiser.; sent2 -> int5: the map is bacteriolytic if it is bacteriolytic or it is not nonharmonic or both.; sent10 -> int6: the fact that the prepuce is not a bowfin is true.; sent7 & int6 -> int7: the map is bacteriolytic or it is not nonharmonic or both.; int5 & int7 -> int8: the map is bacteriolytic.; int4 & int8 -> hypothesis;
the fact that the map is a fundraiser and it is bacteriolytic is false.
sent3 -> int9: if the map is not a diseased that it is a fundraiser and it is bacteriolytic does not hold.; sent4 -> int10: if the map is a holophyte but it is not a heliotropism then it is not a kind of a diseased.;
$hypothesis$ = the map is a fundraiser and it is bacteriolytic. ; $context$ = sent1: if the dobson is not a holophyte it is not a heliotropism. sent2: something is bacteriolytic if it is bacteriolytic or it is not nonharmonic or both. sent3: if something is not a diseased then that it is a fundraiser that is bacteriolytic does not hold. sent4: if something is a holophyte but it is not a heliotropism it is not a diseased. sent5: the dampener does not obligate but it is marly. sent6: that the dobson is a heliotropism and/or it is not marly is not correct. sent7: the map is bacteriolytic and/or it is not nonharmonic if the prepuce is not a bowfin. sent8: if the map is not a fundraiser and is marly then the dampener is not a heliotropism. sent9: if the dampener does not obligate and is marly then the dobson is not a kind of a holophyte. sent10: the prepuce does tailgate yuppie and is not a bowfin. sent11: if something is not a kind of a holophyte then it is not a heliotropism. sent12: the dampener does not obligate. sent13: if the dampener is both obligated and marly the dobson is not a holophyte. sent14: the dampener is a heliotropism. sent15: if something is not a holophyte then that it is a heliotropism and/or it is not a diseased is not true. sent16: the dampener is not a kind of a bowfin if it tailgates yuppie and it is nonharmonic. sent17: the fact that that the prepuce is bacteriolytic and/or it does not tailgate yuppie is correct is not true. sent18: the map is a fundraiser if that the fact that the dobson is a heliotropism or it is not a kind of a diseased or both is wrong hold. sent19: the prepuce does tailgate yuppie. sent20: that the dobson is not a heliotropism is not incorrect. ; $proof$ = 
sent9 & sent5 -> int1: the dobson is not a holophyte.; sent15 -> int2: if the dobson is not a holophyte then the fact that it is a heliotropism and/or it is not a kind of a diseased is false.; int1 & int2 -> int3: that either the dobson is a heliotropism or it is not a diseased or both does not hold.; int3 & sent18 -> int4: the map is a kind of a fundraiser.; sent2 -> int5: the map is bacteriolytic if it is bacteriolytic or it is not nonharmonic or both.; sent10 -> int6: the fact that the prepuce is not a bowfin is true.; sent7 & int6 -> int7: the map is bacteriolytic or it is not nonharmonic or both.; int5 & int7 -> int8: the map is bacteriolytic.; int4 & int8 -> hypothesis; __PROVED__