the Bartlett is a spermicide.
sent1: the Bartlett is not a leatherette if that the forecaster is both a amphotericin and a leatherette does not hold. sent2: the party is not a afterdeck. sent3: the fact that the party is a leatherette and is digestive does not hold. sent4: the tektite is not a tall if the paramedic is tall and is marmorean. sent5: if the party is a afterdeck that it is a kind of a amphotericin is not wrong. sent6: if the party is a amphotericin then the forecaster is tall. sent7: if something is not a amphotericin it is a spermicide and it is not a kind of a tall. sent8: if the fact that the party is not a kind of a harmonic hold then that it is a leatherette and it is not a kind of a digestive is incorrect. sent9: the party is not marmorean if the fact that that it is a leatherette and it is not a kind of a digestive hold is incorrect. sent10: the party is nonharmonic. sent11: that the fact that the party is a afterdeck and is a defile is not true is true. sent12: the accentor is a spermicide if something is not a harmonic and/or is atherosclerotic. sent13: if the black is androgynous it is a kind of sarcastic thing that is unexcitable. sent14: the black is androgynous. sent15: that the forecaster is both a amphotericin and a leatherette is incorrect if the tektite is not a tall. sent16: if the dipole is digestive then the paramedic is a digestive. sent17: the fact that the fact that the party is a kind of a leatherette and it is digestive hold is false if it is not a kind of a harmonic. sent18: the party is not a tall. sent19: if the accentor is a kind of a spermicide the paramedic is a tall. sent20: the Bartlett is not a spermicide if the party is a defile and is not marmorean. sent21: something is marmorean if it is a digestive. sent22: the party is not marmorean if it is a digestive. sent23: something that is a afterdeck is a kind of a amphotericin. sent24: if that something is not a afterdeck and does defile is wrong it is a amphotericin. sent25: the kiang is not a harmonic and/or it is atherosclerotic if there is something such that it is not unsarcastic. sent26: the forecaster is not tall.
sent24 -> int1: the party is a amphotericin if the fact that it is not a afterdeck but a defile is incorrect.; void -> assump1: Let's assume that the fact that the party is not a afterdeck but it does defile is not right.; int1 & assump1 -> int2: the party is a amphotericin.; int2 & sent6 -> int3: the forecaster is a tall.; int3 & sent26 -> int4: this is contradiction.; [assump1] & int4 -> int5: the party is not a afterdeck but it does defile.; int5 -> int6: that the party is a defile is true.; sent8 & sent10 -> int7: the fact that the party is a leatherette and is non-digestive does not hold.; sent9 & int7 -> int8: the party is not marmorean.; int6 & int8 -> int9: the party is a defile but it is not marmorean.; int9 & sent20 -> hypothesis;
the Bartlett is a spermicide.
sent7 -> int10: if the fact that the Bartlett is not a amphotericin is not incorrect it is a spermicide and it is not a tall.;
$hypothesis$ = the Bartlett is a spermicide. ; $context$ = sent1: the Bartlett is not a leatherette if that the forecaster is both a amphotericin and a leatherette does not hold. sent2: the party is not a afterdeck. sent3: the fact that the party is a leatherette and is digestive does not hold. sent4: the tektite is not a tall if the paramedic is tall and is marmorean. sent5: if the party is a afterdeck that it is a kind of a amphotericin is not wrong. sent6: if the party is a amphotericin then the forecaster is tall. sent7: if something is not a amphotericin it is a spermicide and it is not a kind of a tall. sent8: if the fact that the party is not a kind of a harmonic hold then that it is a leatherette and it is not a kind of a digestive is incorrect. sent9: the party is not marmorean if the fact that that it is a leatherette and it is not a kind of a digestive hold is incorrect. sent10: the party is nonharmonic. sent11: that the fact that the party is a afterdeck and is a defile is not true is true. sent12: the accentor is a spermicide if something is not a harmonic and/or is atherosclerotic. sent13: if the black is androgynous it is a kind of sarcastic thing that is unexcitable. sent14: the black is androgynous. sent15: that the forecaster is both a amphotericin and a leatherette is incorrect if the tektite is not a tall. sent16: if the dipole is digestive then the paramedic is a digestive. sent17: the fact that the fact that the party is a kind of a leatherette and it is digestive hold is false if it is not a kind of a harmonic. sent18: the party is not a tall. sent19: if the accentor is a kind of a spermicide the paramedic is a tall. sent20: the Bartlett is not a spermicide if the party is a defile and is not marmorean. sent21: something is marmorean if it is a digestive. sent22: the party is not marmorean if it is a digestive. sent23: something that is a afterdeck is a kind of a amphotericin. sent24: if that something is not a afterdeck and does defile is wrong it is a amphotericin. sent25: the kiang is not a harmonic and/or it is atherosclerotic if there is something such that it is not unsarcastic. sent26: the forecaster is not tall. ; $proof$ = 
sent24 -> int1: the party is a amphotericin if the fact that it is not a afterdeck but a defile is incorrect.; void -> assump1: Let's assume that the fact that the party is not a afterdeck but it does defile is not right.; int1 & assump1 -> int2: the party is a amphotericin.; int2 & sent6 -> int3: the forecaster is a tall.; int3 & sent26 -> int4: this is contradiction.; [assump1] & int4 -> int5: the party is not a afterdeck but it does defile.; int5 -> int6: that the party is a defile is true.; sent8 & sent10 -> int7: the fact that the party is a leatherette and is non-digestive does not hold.; sent9 & int7 -> int8: the party is not marmorean.; int6 & int8 -> int9: the party is a defile but it is not marmorean.; int9 & sent20 -> hypothesis; __DISPROVED__