the overprint does not overbear automation.
sent1: something does not parallel touchdown but it is catadromous if that it is not a geography is not incorrect. sent2: the overprint is a bisexuality. sent3: if the fact that the Goldsmith is blastemal hold the overprint does not overbear automation but it is a bisexuality. sent4: if the overprint resents habanera then the fact that it does not mutate fibrosity is not wrong. sent5: if the molehill does mutate fibrosity it is premature. sent6: if the Goldsmith is not blastemal it does not overbear doom and is a geography. sent7: that the Goldsmith is a geography is true. sent8: there exists something such that it does not overbear doom. sent9: if the overprint mutates fibrosity the molehill is not premature but it overbears automation. sent10: the molehill is not premature if something does not overbear doom and is a geography. sent11: the molehill is not a bisexuality. sent12: the Goldsmith is a geography if it is not blastemal. sent13: there exists something such that it is a geography. sent14: That the fibrosity does mutate molehill is true. sent15: if that something is not premature is right it does overbear automation and is non-blastemal. sent16: that the molehill does mutate fibrosity is true.
void -> assump1: Let's assume that the Goldsmith is not blastemal.; sent6 & assump1 -> int1: the Goldsmith does not overbear doom but it is a kind of a geography.; int1 -> int2: there exists something such that it does not overbear doom and it is a geography.; int2 & sent10 -> int3: the molehill is not premature.; sent5 & sent16 -> int4: the molehill is premature.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the Goldsmith is blastemal.; int6 & sent3 -> int7: the overprint does not overbear automation and is a kind of a bisexuality.; int7 -> hypothesis;
if the molehill is not a geography it does not parallel touchdown and is catadromous.
sent1 -> hypothesis;
$hypothesis$ = the overprint does not overbear automation. ; $context$ = sent1: something does not parallel touchdown but it is catadromous if that it is not a geography is not incorrect. sent2: the overprint is a bisexuality. sent3: if the fact that the Goldsmith is blastemal hold the overprint does not overbear automation but it is a bisexuality. sent4: if the overprint resents habanera then the fact that it does not mutate fibrosity is not wrong. sent5: if the molehill does mutate fibrosity it is premature. sent6: if the Goldsmith is not blastemal it does not overbear doom and is a geography. sent7: that the Goldsmith is a geography is true. sent8: there exists something such that it does not overbear doom. sent9: if the overprint mutates fibrosity the molehill is not premature but it overbears automation. sent10: the molehill is not premature if something does not overbear doom and is a geography. sent11: the molehill is not a bisexuality. sent12: the Goldsmith is a geography if it is not blastemal. sent13: there exists something such that it is a geography. sent14: That the fibrosity does mutate molehill is true. sent15: if that something is not premature is right it does overbear automation and is non-blastemal. sent16: that the molehill does mutate fibrosity is true. ; $proof$ = 
void -> assump1: Let's assume that the Goldsmith is not blastemal.; sent6 & assump1 -> int1: the Goldsmith does not overbear doom but it is a kind of a geography.; int1 -> int2: there exists something such that it does not overbear doom and it is a geography.; int2 & sent10 -> int3: the molehill is not premature.; sent5 & sent16 -> int4: the molehill is premature.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the Goldsmith is blastemal.; int6 & sent3 -> int7: the overprint does not overbear automation and is a kind of a bisexuality.; int7 -> hypothesis; __PROVED__