if the europium does horn retreated the four-pounder is a national.
sent1: the four-pounder is not an ultimate. sent2: if the europium is a kind of non-ultimate thing that does not whine then it embrowns erica. sent3: the europium is not an ultimate and does not whine if it does horn retreated. sent4: that the europium does embrown erica is right if it is ultimate and it does not whine. sent5: the europium is a kind of an ultimate if it is a kind of national thing that does not unclothe Afro-wig. sent6: the europium is not a kind of an ultimate. sent7: the europium is not ultimate if it horns retreated. sent8: the europium does not unclothe Afro-wig. sent9: the four-pounder does not horn retreated. sent10: that the four-pounder is a national is true if it is a kind of a paragonite. sent11: if something that unclothes Afro-wig does not embrown erica it does not horn retreated. sent12: the withstander does not whine. sent13: the four-pounder is a paragonite if the europium embrowns erica and does not unclothe Afro-wig. sent14: if the four-pounder is national then it does embrown erica. sent15: that the Muskogee unclothes Afro-wig if the Muskogee is ungrammatical but not a messuage is correct. sent16: the four-pounder does not horn retreated and does not whine if it is a kind of a paragonite. sent17: The Afro-wig does not unclothe europium. sent18: a paragonite unclothes Afro-wig and does not embrown erica. sent19: the invertase is a paragonite. sent20: the four-pounder does unclothe Afro-wig.
void -> assump1: Let's assume that the fact that the europium horns retreated is not false.; sent3 & assump1 -> int1: the europium is not an ultimate and it does not whine.; int1 & sent2 -> int2: the europium embrowns erica.; int2 & sent8 -> int3: the europium does embrown erica and does not unclothe Afro-wig.; int3 & sent13 -> int4: the four-pounder is a paragonite.; int4 & sent10 -> int5: the four-pounder is a national.; [assump1] & int5 -> hypothesis;
the Hamlet does not horn retreated.
sent11 -> int6: if the Hamlet unclothes Afro-wig and does not embrown erica then it does not horn retreated.; sent18 -> int7: if the Hamlet is a paragonite it unclothes Afro-wig and it does not embrown erica.;
$hypothesis$ = if the europium does horn retreated the four-pounder is a national. ; $context$ = sent1: the four-pounder is not an ultimate. sent2: if the europium is a kind of non-ultimate thing that does not whine then it embrowns erica. sent3: the europium is not an ultimate and does not whine if it does horn retreated. sent4: that the europium does embrown erica is right if it is ultimate and it does not whine. sent5: the europium is a kind of an ultimate if it is a kind of national thing that does not unclothe Afro-wig. sent6: the europium is not a kind of an ultimate. sent7: the europium is not ultimate if it horns retreated. sent8: the europium does not unclothe Afro-wig. sent9: the four-pounder does not horn retreated. sent10: that the four-pounder is a national is true if it is a kind of a paragonite. sent11: if something that unclothes Afro-wig does not embrown erica it does not horn retreated. sent12: the withstander does not whine. sent13: the four-pounder is a paragonite if the europium embrowns erica and does not unclothe Afro-wig. sent14: if the four-pounder is national then it does embrown erica. sent15: that the Muskogee unclothes Afro-wig if the Muskogee is ungrammatical but not a messuage is correct. sent16: the four-pounder does not horn retreated and does not whine if it is a kind of a paragonite. sent17: The Afro-wig does not unclothe europium. sent18: a paragonite unclothes Afro-wig and does not embrown erica. sent19: the invertase is a paragonite. sent20: the four-pounder does unclothe Afro-wig. ; $proof$ = 
void -> assump1: Let's assume that the fact that the europium horns retreated is not false.; sent3 & assump1 -> int1: the europium is not an ultimate and it does not whine.; int1 & sent2 -> int2: the europium embrowns erica.; int2 & sent8 -> int3: the europium does embrown erica and does not unclothe Afro-wig.; int3 & sent13 -> int4: the four-pounder is a paragonite.; int4 & sent10 -> int5: the four-pounder is a national.; [assump1] & int5 -> hypothesis; __PROVED__