the magistrate does not redirect Unio and is indestructible.
sent1: if the trumpetfish is not punic then the pia does not middle reimposition. sent2: the alleviator is not collective. sent3: something does not vitriol illegitimacy if it is not a kind of a childhood. sent4: something does not vitriol illegitimacy if it is a kind of a promptness. sent5: if the trumpetfish does not middle reimposition then that the magistrate does not redirect Unio and is indestructible does not hold. sent6: if the pia does not middle reimposition the span does not middle reimposition and does not converge. sent7: if something does not middle reimposition and it does not converge then the cryptomonad vitriols illegitimacy. sent8: the span does not converge if the pia does not middle reimposition. sent9: if the span does not middle reimposition the magistrate does not middle reimposition. sent10: if the magistrate does redirect Unio the trumpetfish is not punic. sent11: the magistrate is punic if the trumpetfish does vitriol illegitimacy. sent12: the trumpetfish is not punic if the fact that the magistrate does not redirect Unio and is indestructible is not right. sent13: the trumpetfish is not a kind of a promptness. sent14: if something is a kind of a promptness then it vitriols illegitimacy. sent15: there exists something such that it does not middle reimposition and converges. sent16: the alleviator is not a collective and distinguishes. sent17: the pia is not pyrotechnics and it is not a salsify. sent18: there is something such that it does not converge. sent19: that the alleviator does not vitriol illegitimacy but it distinguishes does not hold. sent20: if the alleviator is not a kind of a collective but it distinguishes the everyman is not a fourteenth. sent21: if the everyman is not a fourteenth then the cryptomonad is a promptness and/or it is not a childhood.
void -> assump1: Let's assume that that the magistrate does not redirect Unio but it is indestructible is not correct.; sent12 & assump1 -> int1: the trumpetfish is not punic.; int1 & sent1 -> int2: the pia does not middle reimposition.; int2 & sent6 -> int3: the fact that the span does not middle reimposition and does not converge is true.; int3 -> int4: something does not middle reimposition and does not converge.; int4 & sent7 -> int5: the cryptomonad does vitriol illegitimacy.; sent20 & sent16 -> int6: the everyman is not a fourteenth.; sent21 & int6 -> int7: either the cryptomonad is a kind of a promptness or it is not a childhood or both.; sent4 -> int8: if the cryptomonad is a promptness then it does not vitriol illegitimacy.; sent3 -> int9: the cryptomonad does not vitriol illegitimacy if it is not a childhood.; int7 & int8 & int9 -> int10: the cryptomonad does not vitriol illegitimacy.; int5 & int10 -> int11: this is contradiction.; [assump1] & int11 -> hypothesis;
the fact that the magistrate does not redirect Unio but it is indestructible is not true.
$hypothesis$ = the magistrate does not redirect Unio and is indestructible. ; $context$ = sent1: if the trumpetfish is not punic then the pia does not middle reimposition. sent2: the alleviator is not collective. sent3: something does not vitriol illegitimacy if it is not a kind of a childhood. sent4: something does not vitriol illegitimacy if it is a kind of a promptness. sent5: if the trumpetfish does not middle reimposition then that the magistrate does not redirect Unio and is indestructible does not hold. sent6: if the pia does not middle reimposition the span does not middle reimposition and does not converge. sent7: if something does not middle reimposition and it does not converge then the cryptomonad vitriols illegitimacy. sent8: the span does not converge if the pia does not middle reimposition. sent9: if the span does not middle reimposition the magistrate does not middle reimposition. sent10: if the magistrate does redirect Unio the trumpetfish is not punic. sent11: the magistrate is punic if the trumpetfish does vitriol illegitimacy. sent12: the trumpetfish is not punic if the fact that the magistrate does not redirect Unio and is indestructible is not right. sent13: the trumpetfish is not a kind of a promptness. sent14: if something is a kind of a promptness then it vitriols illegitimacy. sent15: there exists something such that it does not middle reimposition and converges. sent16: the alleviator is not a collective and distinguishes. sent17: the pia is not pyrotechnics and it is not a salsify. sent18: there is something such that it does not converge. sent19: that the alleviator does not vitriol illegitimacy but it distinguishes does not hold. sent20: if the alleviator is not a kind of a collective but it distinguishes the everyman is not a fourteenth. sent21: if the everyman is not a fourteenth then the cryptomonad is a promptness and/or it is not a childhood. ; $proof$ = 
void -> assump1: Let's assume that that the magistrate does not redirect Unio but it is indestructible is not correct.; sent12 & assump1 -> int1: the trumpetfish is not punic.; int1 & sent1 -> int2: the pia does not middle reimposition.; int2 & sent6 -> int3: the fact that the span does not middle reimposition and does not converge is true.; int3 -> int4: something does not middle reimposition and does not converge.; int4 & sent7 -> int5: the cryptomonad does vitriol illegitimacy.; sent20 & sent16 -> int6: the everyman is not a fourteenth.; sent21 & int6 -> int7: either the cryptomonad is a kind of a promptness or it is not a childhood or both.; sent4 -> int8: if the cryptomonad is a promptness then it does not vitriol illegitimacy.; sent3 -> int9: the cryptomonad does not vitriol illegitimacy if it is not a childhood.; int7 & int8 & int9 -> int10: the cryptomonad does not vitriol illegitimacy.; int5 & int10 -> int11: this is contradiction.; [assump1] & int11 -> hypothesis; __PROVED__