the excavator is Grenadian.
sent1: the excavator is a Grenadian if the demagogue is not a aphrodisia and it is not a rhododendron. sent2: the chalcedony does not bury mastiff if the demagogue is non-undulatory. sent3: if there is something such that it abuses Falstaff then the appeaser is not a rhododendron. sent4: if that that the appeaser is not a latten or it is not a kind of a defecation or both hold is not correct then it is non-revolutionary. sent5: that the demagogue does not abuse aldol and it does not warn is not right. sent6: the appeaser abuses Falstaff and does not bury mastiff if the chalcedony does not bury mastiff. sent7: the fact that the chalcedony is not a kind of a defecation and it does not bury mastiff is false. sent8: if the Myrmidon is revolutionary then the burbot does warn. sent9: that if the demagogue is both marine and the aphrodisia then the demagogue is not undulatory is not false. sent10: that something does abuse Falstaff and does not bury mastiff is incorrect if it is not revolutionary. sent11: there is something such that the fact that it abuses aldol and it does warn is not correct. sent12: the fact that something is not a aphrodisia or a Grenadian or both is incorrect if it is not a marine. sent13: the appeaser does not abuse aldol. sent14: the fact that the appeaser is not a kind of a latten and/or it is not a defecation is wrong. sent15: the mastiff abuses Falstaff if the burbot does warn. sent16: the demagogue is a marine. sent17: that the excavator is marine but it is not a aphrodisia does not hold if the demagogue is undulatory. sent18: everything is a defecation and it abuses oxtant. sent19: something does abuse aldol or it is revolutionary or both if it is not a latten. sent20: if the appeaser is not a rhododendron then the chalcedony does not bury mastiff and is undulatory. sent21: the demagogue does not abuse aldol and does not ladle Anatidae. sent22: something is not a kind of a rhododendron if the fact that it does not abuse aldol and does not warn is incorrect. sent23: the fact that the excavator is not Grenadian is not incorrect if the fact that the demagogue is not a kind of a aphrodisia and/or it is Grenadian is wrong. sent24: if that something is a kind of a marine but it is not a kind of a aphrodisia is not right then it is not a rhododendron. sent25: the burbot warns if the Myrmidon abuses aldol.
void -> assump1: Let's assume that the demagogue is a aphrodisia.; sent16 & assump1 -> int1: the demagogue is a marine that is a kind of a aphrodisia.; int1 & sent9 -> int2: the demagogue is not undulatory.; int2 & sent2 -> int3: that the chalcedony does not bury mastiff is not false.; int3 & sent6 -> int4: the appeaser does abuse Falstaff and does not bury mastiff.; sent10 -> int5: the fact that the appeaser abuses Falstaff and does not bury mastiff is wrong if it is non-revolutionary.; sent4 & sent14 -> int6: the appeaser is not revolutionary.; int5 & int6 -> int7: the fact that the appeaser abuses Falstaff and does not bury mastiff is false.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the demagogue is not a aphrodisia.; sent22 -> int10: the fact that the demagogue is not a kind of the rhododendron if the fact that the demagogue does not abuse aldol and does not warn is incorrect is not incorrect.; int10 & sent5 -> int11: the demagogue is not a rhododendron.; int9 & int11 -> int12: the demagogue is not a aphrodisia and is not a kind of a rhododendron.; int12 & sent1 -> hypothesis;
the excavator is not a kind of a Grenadian.
sent12 -> int13: that the demagogue is not a aphrodisia or it is a Grenadian or both is not correct if it is not marine.; sent19 -> int14: if the Myrmidon is not a latten then it abuses aldol and/or is revolutionary.; sent18 -> int15: the Myrmidon is a kind of a defecation that does abuse oxtant.; int15 -> int16: the Myrmidon is a defecation.;
$hypothesis$ = the excavator is Grenadian. ; $context$ = sent1: the excavator is a Grenadian if the demagogue is not a aphrodisia and it is not a rhododendron. sent2: the chalcedony does not bury mastiff if the demagogue is non-undulatory. sent3: if there is something such that it abuses Falstaff then the appeaser is not a rhododendron. sent4: if that that the appeaser is not a latten or it is not a kind of a defecation or both hold is not correct then it is non-revolutionary. sent5: that the demagogue does not abuse aldol and it does not warn is not right. sent6: the appeaser abuses Falstaff and does not bury mastiff if the chalcedony does not bury mastiff. sent7: the fact that the chalcedony is not a kind of a defecation and it does not bury mastiff is false. sent8: if the Myrmidon is revolutionary then the burbot does warn. sent9: that if the demagogue is both marine and the aphrodisia then the demagogue is not undulatory is not false. sent10: that something does abuse Falstaff and does not bury mastiff is incorrect if it is not revolutionary. sent11: there is something such that the fact that it abuses aldol and it does warn is not correct. sent12: the fact that something is not a aphrodisia or a Grenadian or both is incorrect if it is not a marine. sent13: the appeaser does not abuse aldol. sent14: the fact that the appeaser is not a kind of a latten and/or it is not a defecation is wrong. sent15: the mastiff abuses Falstaff if the burbot does warn. sent16: the demagogue is a marine. sent17: that the excavator is marine but it is not a aphrodisia does not hold if the demagogue is undulatory. sent18: everything is a defecation and it abuses oxtant. sent19: something does abuse aldol or it is revolutionary or both if it is not a latten. sent20: if the appeaser is not a rhododendron then the chalcedony does not bury mastiff and is undulatory. sent21: the demagogue does not abuse aldol and does not ladle Anatidae. sent22: something is not a kind of a rhododendron if the fact that it does not abuse aldol and does not warn is incorrect. sent23: the fact that the excavator is not Grenadian is not incorrect if the fact that the demagogue is not a kind of a aphrodisia and/or it is Grenadian is wrong. sent24: if that something is a kind of a marine but it is not a kind of a aphrodisia is not right then it is not a rhododendron. sent25: the burbot warns if the Myrmidon abuses aldol. ; $proof$ = 
void -> assump1: Let's assume that the demagogue is a aphrodisia.; sent16 & assump1 -> int1: the demagogue is a marine that is a kind of a aphrodisia.; int1 & sent9 -> int2: the demagogue is not undulatory.; int2 & sent2 -> int3: that the chalcedony does not bury mastiff is not false.; int3 & sent6 -> int4: the appeaser does abuse Falstaff and does not bury mastiff.; sent10 -> int5: the fact that the appeaser abuses Falstaff and does not bury mastiff is wrong if it is non-revolutionary.; sent4 & sent14 -> int6: the appeaser is not revolutionary.; int5 & int6 -> int7: the fact that the appeaser abuses Falstaff and does not bury mastiff is false.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the demagogue is not a aphrodisia.; sent22 -> int10: the fact that the demagogue is not a kind of the rhododendron if the fact that the demagogue does not abuse aldol and does not warn is incorrect is not incorrect.; int10 & sent5 -> int11: the demagogue is not a rhododendron.; int9 & int11 -> int12: the demagogue is not a aphrodisia and is not a kind of a rhododendron.; int12 & sent1 -> hypothesis; __PROVED__