the lancer unpacks and it is Somalian.
sent1: the epidendron is both not a reflux and not a Guyanese. sent2: that the epidendron is not a kind of a reflux hold if the Sax is a showcase. sent3: if the Sax is not a kind of a showcase the waterskin does not dominate waterskin or it is not non-Guyanese or both. sent4: the helmsman is a kind of a committee if either the waterskin does not dominate waterskin or it is non-Guyanese or both. sent5: the Sax is unmusical and is not a kind of a chlamydospore. sent6: the waterskin does not dominate waterskin or it is not Guyanese or both if the Sax is not a showcase. sent7: if that the Sax is a kind of a showcase is true then the helmsman is not a kind of a journalism and is not a committee. sent8: if the epidendron is not a chronograph and is a reflux the lancer unpacks. sent9: that the smokestack is a chronograph is not incorrect. sent10: if the Sax is a showcase the epidendron is both not a chronograph and not a reflux. sent11: the lancer does unpack if the epidendron is not a chronograph and is not a reflux. sent12: if something is a musical or it is not unchaste or both then that the acetyl is not a journalism hold. sent13: the waterskin does not dominate waterskin or it is Guyanese or both. sent14: if the Sax is not a showcase the waterskin either dominates waterskin or is not a kind of a Guyanese or both. sent15: either the waterskin is not a committee or it is not a Guyanese or both. sent16: either the waterskin dominates waterskin or it is not Guyanese or both. sent17: that if the Sax is not a committee and/or it is not a chronograph then that the helmsman is a kind of a showcase is not incorrect hold. sent18: the acetyl is not a journalism if something is a kind of a musical. sent19: the epidendron is not a kind of a reflux. sent20: the acetyl is a journalism if the helmsman is a committee. sent21: if something is not a showcase then the fact that it unpacks and it is a kind of a Somalian is wrong. sent22: there exists something such that it is a musical or it is not unchaste or both. sent23: something is not a kind of a showcase if it is a kind of a committee or it is a kind of a journalism or both. sent24: the lancer is a Somalian. sent25: if the lancer does unpack the epidendron does not dominate waterskin and it is not a kind of a chronograph. sent26: there is something such that it either is a musical or is unchaste or both.
void -> assump1: Let's assume that the Sax is not a showcase.; sent6 & assump1 -> int1: the waterskin does not dominate waterskin or it is not a Guyanese or both.; int1 & sent4 -> int2: the helmsman is a committee.; int2 & sent20 -> int3: that the acetyl is a journalism is true.; sent22 & sent12 -> int4: the acetyl is not a journalism.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the Sax is a showcase.; int6 & sent10 -> int7: that the epidendron is not a chronograph and not a reflux is not incorrect.; int7 & sent11 -> int8: the lancer does unpack.; int8 & sent24 -> hypothesis;
the fact that the lancer unpacks and it is a Somalian is not right.
sent21 -> int9: if the lancer is not a showcase then the fact that it unpacks and is Somalian is false.; sent23 -> int10: the lancer is not a showcase if either it is a kind of a committee or it is a journalism or both.;
$hypothesis$ = the lancer unpacks and it is Somalian. ; $context$ = sent1: the epidendron is both not a reflux and not a Guyanese. sent2: that the epidendron is not a kind of a reflux hold if the Sax is a showcase. sent3: if the Sax is not a kind of a showcase the waterskin does not dominate waterskin or it is not non-Guyanese or both. sent4: the helmsman is a kind of a committee if either the waterskin does not dominate waterskin or it is non-Guyanese or both. sent5: the Sax is unmusical and is not a kind of a chlamydospore. sent6: the waterskin does not dominate waterskin or it is not Guyanese or both if the Sax is not a showcase. sent7: if that the Sax is a kind of a showcase is true then the helmsman is not a kind of a journalism and is not a committee. sent8: if the epidendron is not a chronograph and is a reflux the lancer unpacks. sent9: that the smokestack is a chronograph is not incorrect. sent10: if the Sax is a showcase the epidendron is both not a chronograph and not a reflux. sent11: the lancer does unpack if the epidendron is not a chronograph and is not a reflux. sent12: if something is a musical or it is not unchaste or both then that the acetyl is not a journalism hold. sent13: the waterskin does not dominate waterskin or it is Guyanese or both. sent14: if the Sax is not a showcase the waterskin either dominates waterskin or is not a kind of a Guyanese or both. sent15: either the waterskin is not a committee or it is not a Guyanese or both. sent16: either the waterskin dominates waterskin or it is not Guyanese or both. sent17: that if the Sax is not a committee and/or it is not a chronograph then that the helmsman is a kind of a showcase is not incorrect hold. sent18: the acetyl is not a journalism if something is a kind of a musical. sent19: the epidendron is not a kind of a reflux. sent20: the acetyl is a journalism if the helmsman is a committee. sent21: if something is not a showcase then the fact that it unpacks and it is a kind of a Somalian is wrong. sent22: there exists something such that it is a musical or it is not unchaste or both. sent23: something is not a kind of a showcase if it is a kind of a committee or it is a kind of a journalism or both. sent24: the lancer is a Somalian. sent25: if the lancer does unpack the epidendron does not dominate waterskin and it is not a kind of a chronograph. sent26: there is something such that it either is a musical or is unchaste or both. ; $proof$ = 
void -> assump1: Let's assume that the Sax is not a showcase.; sent6 & assump1 -> int1: the waterskin does not dominate waterskin or it is not a Guyanese or both.; int1 & sent4 -> int2: the helmsman is a committee.; int2 & sent20 -> int3: that the acetyl is a journalism is true.; sent22 & sent12 -> int4: the acetyl is not a journalism.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the Sax is a showcase.; int6 & sent10 -> int7: that the epidendron is not a chronograph and not a reflux is not incorrect.; int7 & sent11 -> int8: the lancer does unpack.; int8 & sent24 -> hypothesis; __PROVED__