the ethanol adds lanthanum.
sent1: something is not ipsilateral and it does not manhandle pat if it does not grumble imperishability. sent2: that the ethanol is philatelic and does add lanthanum is not right if that the Tidewater is pyroligneous does not hold. sent3: the Tidewater is not philatelic. sent4: a Tamil is a kind of non-pyroligneous thing that is not unproductive. sent5: the drawler does not add lanthanum if there exists something such that the fact that it is philatelic thing that add lanthanum is incorrect. sent6: if the ethanol does add lanthanum the Tidewater is philatelic. sent7: if the coatdress is a kind of non-ipsilateral thing that does not manhandle pat then the Tidewater is a kind of a Tamil. sent8: the washhouse adds Saba. sent9: the astronaut satellites and it is a combed. sent10: if the fireplug does not grumble imperishability the coatdress does not grumble imperishability. sent11: the ethanol is philatelic if the Tidewater adds lanthanum. sent12: the coatdress does not grumble imperishability if the fireplug is not a accelerando. sent13: if the washhouse does add Saba that the cottonmouth is a kind of a proclamation is correct. sent14: the fireplug is not palatable if something that does satellite is zoic. sent15: that if something is not palatable it either is not a accelerando or does not grumble imperishability or both is true. sent16: the astronaut is zoic if the cottonmouth is a proclamation.
void -> assump1: Let's assume that the ethanol does add lanthanum.; sent6 & assump1 -> int1: the Tidewater is philatelic.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis;
the drawler does not add lanthanum.
sent4 -> int3: that the Tidewater is not pyroligneous and it is productive hold if it is Tamil.; sent1 -> int4: if the coatdress does not grumble imperishability it is not ipsilateral and it does not manhandle pat.; sent15 -> int5: the fireplug is not a accelerando and/or does not grumble imperishability if it is not palatable.; sent9 -> int6: the astronaut does satellite.; sent13 & sent8 -> int7: the cottonmouth is a proclamation.; sent16 & int7 -> int8: the astronaut is zoic.; int6 & int8 -> int9: the astronaut does satellite and it is zoic.; int9 -> int10: something is a satellite and it is not non-zoic.; int10 & sent14 -> int11: the fireplug is not palatable.; int5 & int11 -> int12: either the fireplug is not a kind of a accelerando or it does not grumble imperishability or both.; int12 & sent12 & sent10 -> int13: the coatdress does not grumble imperishability.; int4 & int13 -> int14: the coatdress is a kind of non-ipsilateral thing that does not manhandle pat.; sent7 & int14 -> int15: the Tidewater is Tamil.; int3 & int15 -> int16: the Tidewater is not pyroligneous and not unproductive.; int16 -> int17: the Tidewater is not pyroligneous.; sent2 & int17 -> int18: that the ethanol is philatelic and it does add lanthanum is not correct.; int18 -> int19: there exists something such that the fact that it is a kind of philatelic thing that does add lanthanum is not correct.; int19 & sent5 -> hypothesis;
$hypothesis$ = the ethanol adds lanthanum. ; $context$ = sent1: something is not ipsilateral and it does not manhandle pat if it does not grumble imperishability. sent2: that the ethanol is philatelic and does add lanthanum is not right if that the Tidewater is pyroligneous does not hold. sent3: the Tidewater is not philatelic. sent4: a Tamil is a kind of non-pyroligneous thing that is not unproductive. sent5: the drawler does not add lanthanum if there exists something such that the fact that it is philatelic thing that add lanthanum is incorrect. sent6: if the ethanol does add lanthanum the Tidewater is philatelic. sent7: if the coatdress is a kind of non-ipsilateral thing that does not manhandle pat then the Tidewater is a kind of a Tamil. sent8: the washhouse adds Saba. sent9: the astronaut satellites and it is a combed. sent10: if the fireplug does not grumble imperishability the coatdress does not grumble imperishability. sent11: the ethanol is philatelic if the Tidewater adds lanthanum. sent12: the coatdress does not grumble imperishability if the fireplug is not a accelerando. sent13: if the washhouse does add Saba that the cottonmouth is a kind of a proclamation is correct. sent14: the fireplug is not palatable if something that does satellite is zoic. sent15: that if something is not palatable it either is not a accelerando or does not grumble imperishability or both is true. sent16: the astronaut is zoic if the cottonmouth is a proclamation. ; $proof$ = 
void -> assump1: Let's assume that the ethanol does add lanthanum.; sent6 & assump1 -> int1: the Tidewater is philatelic.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis; __DISPROVED__