the wiper does not uplift.
sent1: the wiper is not incredulous if the cytostome is both a hypnotist and not incredulous. sent2: the cytostome is coherent. sent3: if the harpooner is a sunbonnet the fact that the Lascar does not denature but it is a gemma is not right. sent4: the sidewinder does sample December. sent5: the Lascar is incredulous but it does not excrete quadrivium. sent6: that if there exists something such that the fact that it does sample December and is a kind of a soapstone is incorrect that the Lascar is not a pulp is not wrong is not incorrect. sent7: if the fact that the sidewinder does sample December is true that it is not a kind of a sunbonnet and it pulps is false. sent8: the harpooner is a kind of a sunbonnet if there is something such that that it is both not a sunbonnet and a pulp is incorrect. sent9: if something is a kind of a hypnotist it is a kind of a gemma. sent10: if the cytostome represses Tabriz and is not incredulous the fact that the wiper is a hypnotist is not wrong. sent11: there exists something such that the fact that it samples December and it is a soapstone does not hold. sent12: if there exists something such that it is not a pulp then the docent is a sunbonnet and it denatures. sent13: the pea-souper does not repress enactment. sent14: if the wiper is a kind of a gemma and it uplifts then the docent is not a sunbonnet. sent15: The Tabriz does repress cytostome. sent16: something is not incredulous and it does not repress Tabriz if it is a kind of a hypnotist. sent17: if there is something such that the fact that it does not denature and is a gemma is incorrect then the docent is not a gemma. sent18: the wiper is not downstream. sent19: the cytostome does repress Tabriz.
sent9 -> int1: the wiper is a kind of a gemma if it is a hypnotist.; void -> assump1: Let's assume that the wiper does uplift.; sent11 & sent6 -> int2: the Lascar is not a pulp.; int2 -> int3: there is something such that it does not pulp.; int3 & sent12 -> int4: the docent is a sunbonnet and denatures.; int4 -> int5: the docent is a kind of a sunbonnet.;
the honeycomb does not repress Tabriz.
sent16 -> int6: if the honeycomb is a hypnotist then it is non-incredulous thing that does not repress Tabriz.;
$hypothesis$ = the wiper does not uplift. ; $context$ = sent1: the wiper is not incredulous if the cytostome is both a hypnotist and not incredulous. sent2: the cytostome is coherent. sent3: if the harpooner is a sunbonnet the fact that the Lascar does not denature but it is a gemma is not right. sent4: the sidewinder does sample December. sent5: the Lascar is incredulous but it does not excrete quadrivium. sent6: that if there exists something such that the fact that it does sample December and is a kind of a soapstone is incorrect that the Lascar is not a pulp is not wrong is not incorrect. sent7: if the fact that the sidewinder does sample December is true that it is not a kind of a sunbonnet and it pulps is false. sent8: the harpooner is a kind of a sunbonnet if there is something such that that it is both not a sunbonnet and a pulp is incorrect. sent9: if something is a kind of a hypnotist it is a kind of a gemma. sent10: if the cytostome represses Tabriz and is not incredulous the fact that the wiper is a hypnotist is not wrong. sent11: there exists something such that the fact that it samples December and it is a soapstone does not hold. sent12: if there exists something such that it is not a pulp then the docent is a sunbonnet and it denatures. sent13: the pea-souper does not repress enactment. sent14: if the wiper is a kind of a gemma and it uplifts then the docent is not a sunbonnet. sent15: The Tabriz does repress cytostome. sent16: something is not incredulous and it does not repress Tabriz if it is a kind of a hypnotist. sent17: if there is something such that the fact that it does not denature and is a gemma is incorrect then the docent is not a gemma. sent18: the wiper is not downstream. sent19: the cytostome does repress Tabriz. ; $proof$ = 
sent9 -> int1: the wiper is a kind of a gemma if it is a hypnotist.; void -> assump1: Let's assume that the wiper does uplift.; sent11 & sent6 -> int2: the Lascar is not a pulp.; int2 -> int3: there is something such that it does not pulp.; int3 & sent12 -> int4: the docent is a sunbonnet and denatures.; int4 -> int5: the docent is a kind of a sunbonnet.; __UNKNOWN__