the fact that the nephron is nonpolitical or endoergic or both is not true.
sent1: if that the minimalist does not mellow Apollo is true it is not nonpolitical. sent2: something is endoergic. sent3: the nephron synthesizes backlash. sent4: if the minimalist is not nonpolitical the nephron is nonpolitical or is endoergic or both. sent5: if there is something such that it does not style nephron the minimalist does not mellow Apollo. sent6: the nephron is not a keyhole if that the Bannister does mellow Apollo and is not viviparous is incorrect. sent7: the fact that something is nonpolitical and/or is endoergic is wrong if it does not style nephron. sent8: the fact that the Bannister is not a kind of a keyhole is not wrong. sent9: if the Bannister is viviparous that it styles nephron and it is not a keyhole is not right. sent10: there are non-endoergic things. sent11: if that something styles nephron but it is not a kind of a keyhole is wrong it is a kind of a bigamy. sent12: the Bannister is viviparous. sent13: there exists something such that it does style nephron. sent14: if there is something such that it is not endoergic the nephron is not viviparous. sent15: that something does style nephron but it is not a keyhole is not right if it mellows Apollo. sent16: the lighter does mellow Apollo.
void -> assump1: Let's assume that the fact that the Bannister does style nephron is right.; assump1 & sent8 -> int1: the Bannister styles nephron but it is not a kind of a keyhole.; sent9 & sent12 -> int2: that the Bannister styles nephron but it is not a keyhole is incorrect.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Bannister does not style nephron.; int4 -> int5: there exists something such that it does not style nephron.; int5 & sent5 -> int6: the minimalist does not mellow Apollo.; int6 & sent1 -> int7: the fact that the minimalist is not nonpolitical hold.; int7 & sent4 -> hypothesis;
the nephron is a bigamy and/or it is permeable.
sent11 -> int8: the nephron is a bigamy if the fact that it does style nephron and it is not a kind of a keyhole is not right.; sent15 -> int9: the fact that that the nephron does style nephron but it is not a keyhole is incorrect is not wrong if it does mellow Apollo.;
$hypothesis$ = the fact that the nephron is nonpolitical or endoergic or both is not true. ; $context$ = sent1: if that the minimalist does not mellow Apollo is true it is not nonpolitical. sent2: something is endoergic. sent3: the nephron synthesizes backlash. sent4: if the minimalist is not nonpolitical the nephron is nonpolitical or is endoergic or both. sent5: if there is something such that it does not style nephron the minimalist does not mellow Apollo. sent6: the nephron is not a keyhole if that the Bannister does mellow Apollo and is not viviparous is incorrect. sent7: the fact that something is nonpolitical and/or is endoergic is wrong if it does not style nephron. sent8: the fact that the Bannister is not a kind of a keyhole is not wrong. sent9: if the Bannister is viviparous that it styles nephron and it is not a keyhole is not right. sent10: there are non-endoergic things. sent11: if that something styles nephron but it is not a kind of a keyhole is wrong it is a kind of a bigamy. sent12: the Bannister is viviparous. sent13: there exists something such that it does style nephron. sent14: if there is something such that it is not endoergic the nephron is not viviparous. sent15: that something does style nephron but it is not a keyhole is not right if it mellows Apollo. sent16: the lighter does mellow Apollo. ; $proof$ = 
void -> assump1: Let's assume that the fact that the Bannister does style nephron is right.; assump1 & sent8 -> int1: the Bannister styles nephron but it is not a kind of a keyhole.; sent9 & sent12 -> int2: that the Bannister styles nephron but it is not a keyhole is incorrect.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Bannister does not style nephron.; int4 -> int5: there exists something such that it does not style nephron.; int5 & sent5 -> int6: the minimalist does not mellow Apollo.; int6 & sent1 -> int7: the fact that the minimalist is not nonpolitical hold.; int7 & sent4 -> hypothesis; __DISPROVED__