the Hanuman does not overrun aeration.
sent1: the topee is a kind of a narcoleptic. sent2: if the maneuverer damages bookplate the Hanuman does not damages bookplate. sent3: the topee capitalizes thiabendazole. sent4: if something is a kind of a Melophagus but it does not damage bookplate it does not overrun aeration. sent5: the fact that the topee does not capitalize thiabendazole and/or it does feminize does not hold if the Drake does capitalize thiabendazole. sent6: either something does capitalize thiabendazole or it does feminize or both if it is not a grandma. sent7: either the topee does capitalize thiabendazole or it does feminize or both. sent8: the topee does capitalize thiabendazole or it does feminize or both if it is not a grandma. sent9: there is something such that the fact that it is a kind of a gall that does not damage Varanus is not true. sent10: there is something such that it does not damage Varanus. sent11: if something is a Melophagus and it does damage bookplate then it does not overrun aeration. sent12: the maneuverer does damage bookplate if there is something such that that it is not a gall and it does not damage Varanus is not correct. sent13: the topee is narcoleptic and not a grandma. sent14: there exists something such that it does not gall. sent15: that if the Drake does capitalize thiabendazole the topee capitalize thiabendazole is not wrong. sent16: if that the maneuverer does damage bookplate hold the Hanuman is a kind of a Melophagus that does not damage bookplate. sent17: that the cloakroom is a gall but it does not damage Varanus is not correct. sent18: if something is not a grandma then it does not capitalize thiabendazole or it does feminize or both. sent19: the cloakroom is not a gall. sent20: if something does not gall and does not damage Varanus then that the Drake does capitalize thiabendazole is not false.
void -> assump1: Let's assume that the cloakroom is not a kind of a gall and it does not damage Varanus.; assump1 -> int1: something does not gall and it does not damage Varanus.; int1 & sent20 -> int2: the Drake does capitalize thiabendazole.; int2 & sent5 -> int3: the fact that either the topee does not capitalize thiabendazole or it feminizes or both is false.; sent18 -> int4: if the topee is not a kind of a grandma either it does not capitalize thiabendazole or it feminizes or both.; sent13 -> int5: the topee is not a kind of a grandma.; int4 & int5 -> int6: the topee does not capitalize thiabendazole and/or it does feminize.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the cloakroom is not a kind of a gall and does not damage Varanus is not true.; int8 -> int9: there is something such that that it is not a gall and does not damage Varanus does not hold.; int9 & sent12 -> int10: the maneuverer does damage bookplate.; int10 & sent16 -> int11: the Hanuman is a kind of a Melophagus but it does not damage bookplate.; sent4 -> int12: the fact that the Hanuman does not overrun aeration hold if it is a Melophagus and does not damage bookplate.; int11 & int12 -> hypothesis;
$hypothesis$ = the Hanuman does not overrun aeration. ; $context$ = sent1: the topee is a kind of a narcoleptic. sent2: if the maneuverer damages bookplate the Hanuman does not damages bookplate. sent3: the topee capitalizes thiabendazole. sent4: if something is a kind of a Melophagus but it does not damage bookplate it does not overrun aeration. sent5: the fact that the topee does not capitalize thiabendazole and/or it does feminize does not hold if the Drake does capitalize thiabendazole. sent6: either something does capitalize thiabendazole or it does feminize or both if it is not a grandma. sent7: either the topee does capitalize thiabendazole or it does feminize or both. sent8: the topee does capitalize thiabendazole or it does feminize or both if it is not a grandma. sent9: there is something such that the fact that it is a kind of a gall that does not damage Varanus is not true. sent10: there is something such that it does not damage Varanus. sent11: if something is a Melophagus and it does damage bookplate then it does not overrun aeration. sent12: the maneuverer does damage bookplate if there is something such that that it is not a gall and it does not damage Varanus is not correct. sent13: the topee is narcoleptic and not a grandma. sent14: there exists something such that it does not gall. sent15: that if the Drake does capitalize thiabendazole the topee capitalize thiabendazole is not wrong. sent16: if that the maneuverer does damage bookplate hold the Hanuman is a kind of a Melophagus that does not damage bookplate. sent17: that the cloakroom is a gall but it does not damage Varanus is not correct. sent18: if something is not a grandma then it does not capitalize thiabendazole or it does feminize or both. sent19: the cloakroom is not a gall. sent20: if something does not gall and does not damage Varanus then that the Drake does capitalize thiabendazole is not false. ; $proof$ = 
void -> assump1: Let's assume that the cloakroom is not a kind of a gall and it does not damage Varanus.; assump1 -> int1: something does not gall and it does not damage Varanus.; int1 & sent20 -> int2: the Drake does capitalize thiabendazole.; int2 & sent5 -> int3: the fact that either the topee does not capitalize thiabendazole or it feminizes or both is false.; sent18 -> int4: if the topee is not a kind of a grandma either it does not capitalize thiabendazole or it feminizes or both.; sent13 -> int5: the topee is not a kind of a grandma.; int4 & int5 -> int6: the topee does not capitalize thiabendazole and/or it does feminize.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the cloakroom is not a kind of a gall and does not damage Varanus is not true.; int8 -> int9: there is something such that that it is not a gall and does not damage Varanus does not hold.; int9 & sent12 -> int10: the maneuverer does damage bookplate.; int10 & sent16 -> int11: the Hanuman is a kind of a Melophagus but it does not damage bookplate.; sent4 -> int12: the fact that the Hanuman does not overrun aeration hold if it is a Melophagus and does not damage bookplate.; int11 & int12 -> hypothesis; __PROVED__