the fact that the homebuilder is a lied or it is a kind of a squaretail or both is wrong.
sent1: something is not gothic and/or it is congruent if it is not a lied. sent2: if there is something such that either it is not gothic or it is congruent or both the progenitor reconsiders. sent3: if the fact that the censor is incongruent and it is not gothic is not correct then the homebuilder does lie. sent4: the fact that the suntrap is backed but it is impermeable is wrong. sent5: the censor is not a lied if something is both not a ringlet and a squaretail. sent6: that the censor is congruent hold. sent7: the homebuilder is not a ringlet but it is a squaretail if it does not narrow twinkler.
void -> assump1: Let's assume that the censor is non-congruent thing that is not gothic.; assump1 -> int1: the censor is not congruent.; sent6 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the censor is both not congruent and not gothic does not hold.; sent3 & int3 -> int4: that the homebuilder is a lied hold.; int4 -> hypothesis;
the progenitor is a partygoer or reconsiders or both.
sent1 -> int5: if that the censor is not a lied is not incorrect either it is not gothic or it is not incongruent or both.; sent4 -> int6: there is something such that the fact that it is not backless and it is not permeable does not hold.;
$hypothesis$ = the fact that the homebuilder is a lied or it is a kind of a squaretail or both is wrong. ; $context$ = sent1: something is not gothic and/or it is congruent if it is not a lied. sent2: if there is something such that either it is not gothic or it is congruent or both the progenitor reconsiders. sent3: if the fact that the censor is incongruent and it is not gothic is not correct then the homebuilder does lie. sent4: the fact that the suntrap is backed but it is impermeable is wrong. sent5: the censor is not a lied if something is both not a ringlet and a squaretail. sent6: that the censor is congruent hold. sent7: the homebuilder is not a ringlet but it is a squaretail if it does not narrow twinkler. ; $proof$ = 
void -> assump1: Let's assume that the censor is non-congruent thing that is not gothic.; assump1 -> int1: the censor is not congruent.; sent6 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the censor is both not congruent and not gothic does not hold.; sent3 & int3 -> int4: that the homebuilder is a lied hold.; int4 -> hypothesis; __DISPROVED__