the Lauder does testify tort-feasor.
sent1: that there is something such that it is a confession hold. sent2: the XX flattens if it is an ember. sent3: there exists something such that it is a Paton. sent4: there is something such that it is impermissible. sent5: there is something such that that either it does not flatten or it is a kind of a Paton or both does not hold. sent6: the Lauder testifies tort-feasor if the XX is midi. sent7: the origanum is an ember that flattens. sent8: if the fact that the XX flattens is not wrong the origanum does not testify tort-feasor. sent9: if the madam is not a Paton the XX is midi. sent10: the origanum is a Paton if that the madam is not an ember is correct. sent11: the Lauder flattens. sent12: there is something such that that it is a kind of a Paton or does not testify tort-feasor or both is wrong. sent13: if there is something such that that either it is not a kind of an ember or it does not flatten or both does not hold then the origanum does not testify tort-feasor. sent14: there is something such that the fact that it is impermissible and/or it is not a Paton does not hold. sent15: the Lauder is not a kind of an ember. sent16: there exists something such that the fact that it is not a kind of a Paton or is not an ember or both is not right. sent17: the origanum is not an ember and/or it is not midi. sent18: the origanum does not flatten if there is something such that that it is not impermissible or it is not a Paton or both is false. sent19: if the madam is not impermissible then the XX is midi.
void -> assump1: Let's assume that that the madam is either not impermissible or not a Paton or both is incorrect.; assump1 -> int1: there is something such that that either it is not impermissible or it is not a Paton or both is not correct.; int1 & sent18 -> int2: the origanum does not flatten.; sent7 -> int3: that the origanum does flatten is not false.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the madam is not impermissible and/or it is not a Paton.; int5 & sent19 & sent9 -> int6: that the XX is midi is right.; int6 & sent6 -> hypothesis;
that the Lauder does testify tort-feasor does not hold.
$hypothesis$ = the Lauder does testify tort-feasor. ; $context$ = sent1: that there is something such that it is a confession hold. sent2: the XX flattens if it is an ember. sent3: there exists something such that it is a Paton. sent4: there is something such that it is impermissible. sent5: there is something such that that either it does not flatten or it is a kind of a Paton or both does not hold. sent6: the Lauder testifies tort-feasor if the XX is midi. sent7: the origanum is an ember that flattens. sent8: if the fact that the XX flattens is not wrong the origanum does not testify tort-feasor. sent9: if the madam is not a Paton the XX is midi. sent10: the origanum is a Paton if that the madam is not an ember is correct. sent11: the Lauder flattens. sent12: there is something such that that it is a kind of a Paton or does not testify tort-feasor or both is wrong. sent13: if there is something such that that either it is not a kind of an ember or it does not flatten or both does not hold then the origanum does not testify tort-feasor. sent14: there is something such that the fact that it is impermissible and/or it is not a Paton does not hold. sent15: the Lauder is not a kind of an ember. sent16: there exists something such that the fact that it is not a kind of a Paton or is not an ember or both is not right. sent17: the origanum is not an ember and/or it is not midi. sent18: the origanum does not flatten if there is something such that that it is not impermissible or it is not a Paton or both is false. sent19: if the madam is not impermissible then the XX is midi. ; $proof$ = 
void -> assump1: Let's assume that that the madam is either not impermissible or not a Paton or both is incorrect.; assump1 -> int1: there is something such that that either it is not impermissible or it is not a Paton or both is not correct.; int1 & sent18 -> int2: the origanum does not flatten.; sent7 -> int3: that the origanum does flatten is not false.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the madam is not impermissible and/or it is not a Paton.; int5 & sent19 & sent9 -> int6: that the XX is midi is right.; int6 & sent6 -> hypothesis; __PROVED__